Notes

Miscellaneous notes of various usefulness.