Remove old commented-out code.

We must not want to ask, since we haven't come back to enable this!