Other

This page will slowly fill with all sorts of interesting snippets that don’t neatly fit elsewhere.