Miscellaneous stuff

Nothing to see here for now…