Just some odds and ends I refer to elsewhere: