Tentative Python 3 support.

Just to show that Python 3 support isn't that complicated. ;-)
I see.  I now remember why that line was there in the first place: Apparently Texinfo doesn't allow non-ASCII node names anyway.