Comment by rms

> I'm bummed that you were bored, but that is good to know.

I read fast so fixed speed text makes me uncomfortable...