Misc

Stuff that has nowhere to go.