Misc

Miscellaneous notes and links.