This is an ad hoc crufty dumping ground / grab bag for random stuff I've found useful over the years.