Miscellany

This is where I will put everything that doesn’t fit in other sections.