Short notes

For general reference

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