@cks where did the one space indent come from? i think the first english class i took that used computers used a tab to indent the first line of a paragraph. the lab used ancient dec rainbow unix terminals.

but now i checked online, and i see that's wrong: https://practicaltypography.com/first-line-indents.html