@misc{2017-collection-texinfo, day = {16}, kind = {collection}, month = may, note = {rev 5dst8MxmGfa5rve2WkVYKERBB4eRQ3}, title = {texinfo}, version = {rev 5dst8MxmGfa5rve2WkVYKERBB4eRQ3}, year = {2017} }