Howtos

This is the place where I collect some things that were at least somewhat tricky to figure out, mostly for my own benefit. I actually find myself consulting some of these embarassingly often: