Short notes

General everyday notes

General notes, collected over time. The entries are short. They are kept for reference rather than for reading through.