misc

Here is some stuff without a place (yet).