For this reason I actually thought it was a good comment. I've seen the referenc...

		dwringer on Sept 28, 2022 \| parent \| context \| favorite \| on: When the push button was new, people were freaked For this reason I actually thought it was a good comment. I've seen the reference come up almost without fail in discussions like this, but I've never seen it so elaborated.