Notes

Short notes, in no particular order. A growing list.