/notes

just a staging place for some notes

Some uninteresting notes, for my own consumption.