Writing

Small notes. Mostly for myself, sometimes useful later.