short notes, kept for later
Reading notes and small things worth remembering. Nothing here is urgent.