texinfo-docstrings