Prune commented out code.

No gain, but it's time to let go of that code that will never come out
its comment again.

See #46.