[gambit-list] Line numbers in custom reader