Philip Kooijman's personal user guide