misc Random bits and pieces from random sources. More or less a backup of the things I always lose or forget