How-to

These are various how-to instruction that don’t fit anywhere else.