This repository contains scripts for converting PDFs to SVGs,
to be previewed in cgit.