Welcome to “Note to Self”! On this site, I want to collect short how-tos that I create for myself so I don't have to re-invent the wheel quite as often.
Maybe you find them useful, too.