This is a personal record of the things I do, kept for future reference. I'm sharing it publicly in case it's helpful or interesting to anyone.