Distro: Other stuff

Assorted other stuff.

Nothing here at the moment!