This is a public playground for me to post notes, mostly to myself, but sometimes for others to read.