dang, could you change the title to add "human" at the beginning? I clicked on t...

		gumby on Jan 18, 2021 \| parent \| context \| favorite \| on: Context switching costs more than we give it credi... dang, could you change the title to add "human" at the beginning? I clicked on this thinking it would be about timesharing OS context switching.