Mundane fixes to docs, copyright dates, etc