chiark / gitweb /
strayman.dtx: Move left-side headers and footers into the margin.