misc

assorted things on this website