Notes

These are my personal notes about some things, may not be particularly useful to others; they’re just for my own reference.