Put release date into release notes.
Remove some trailing whitespace.
Remove some Unicode in src/