notes This repository contains some miscellaneous notes. It's easier for me to keep track of notes here than in an arbitrary service.