Notes

Small things worth writing down.