Hotchpotch

This is a collection of things that I have found useful at some point but for which I have not had time to create a fully detailed entry. I'm documenting them here so that I do not forget to create the actual entry in the future.