Wiki

Notes I keep for myself, published in case they’re useful to someone else. These are working notes rather than finished articles: they get corrected and extended as I learn more, and some are thin on purpose.