Remove TODO to GitHub Issues.

See #181.
See #180.