Announce the 13.5 release.
Merge pull request #34 from piojo/announce-13.5

Announce the 13.5 release.