Misc

There are things that are good to know or which do not fit anywhere else. This is the place they will be written down.