Remove TODO section

Use the issue tracker instead.
Regenerate HTML