(which is not to say it's right), so re-enable it.

Documenting Python and Installing Python Modules still have problems
when converting to GNU info, so we'll continue to leave them out for
now.