python-lib.info* lib.texi