Remove a file forgotten when converting the changelogs.

This file should have been removed in yesterday's conversion of the changelogs from html to doxygen format, but I forgot to delete it. This PR fixes the oversight.