This repository was archived by the owner on Dec 22, 2025. It is now read-only.
Text-only PDF files may be better off as markdown #5
Description
Currently we have a few .pdfs that, in retrospect, might be better off as markdown files. We should change that.