initial dump of docs I wrote offline; will be restructured soon