Notes for general reference

This page keeps short notes on general matters. They are compiled over time. The list is added to occasionally.