Ingo Vogelmann's personal user guide