Print Definitions drops line numbers on/after page 12

Summary

When printing a file from DrRacket using File... Print Definitions..., with line numbering enabled, the line numbers disappear somewhere on page 12. Changing the font size causes it to print more or less numbers - they stop on page 12, not a particular line number.

This is on Mac OS X 10.12.6 with Racket 6.10.1.

To reproduce

1. Create a new Racket file with 690 lines. The first line should be #lang racket, and the last one ;;; Line 690 is here. The rest of the lines should be empty.

2. In the View menu, make sure line numbers are enabled.

3. Click on line 1. Click Print Definitions in the File menu. The resulting PDF should have at least 12 pages (if not, increase the DrRacket font size). The line numbering terminates before the end of the file (indicated by the comment line).

(this bug report written by myself and @david-christiansen)

Reproduce the issue in DrRacket using the 690-line Racket file described and File > Print Definitions with line numbers enabled. Check the generated PDF across at least 12 pages and compare it with the final ;;; Line 690 is here marker. Done means line numbers remain present through the end of the printed file.