Personal notes

which likely aren't useful to anyone else.