Notes from here and there, updated irregularly.