These pages contain bits and pieces I compiled. It is a place for me to collect reminders and notes on miscellaneous topics and might include things which are interesting for other people as well so I made it public.