Miscellany

Misc is empty.