Start page

This is a personal wiki. It collects small how-to notes that I got tired of looking up twice.

Pages are short on purpose and are edited whenever something turns out to be wrong.