You have to leave extra space somewhere when shortening it, and if you already l...

		jefftk on March 16, 2023 \| parent \| context \| favorite \| on: How did Dennis Ritchie produce his PhD thesis? A t... You have to leave extra space somewhere when shortening it, and if you already like the page layout this guarantees you don't mess up anything else.