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