@misc{2019-collection-texinfo, day = {3}, kind = {collection}, month = jul, note = {rev 5duA2NaWajTSDXkbCANJ94ueH4thxw}, title = {texinfo}, version = {rev 5duA2NaWajTSDXkbCANJ94ueH4thxw}, year = {2019} }