The output PDF file gives an amusing display, as the reader
pages through it.
