Comments: Pragmatism and operating systems