texinfo-docstrings 45.8 KB