Small additions to TODO.md, navigation bar.