A semi-random collection of odds and ends.