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