Welcome to my online brain-dump. I’ve decided to get better at dumping knowledge I acquire during my typical pottering about, and this is the result. I expect it will grow in time.