Back then, grep was how you searched the scholarly publications—assuming you’d mirrored the arXiv to a local FTP server like any serious researcher. The notes were just comments in the Makefile.