Removed reference to obsolete TODO file.

  The TODO-file has been empty for a while, and we hope that folk
  will report problems via the github tracker.