# Make a thumbnail from the finished PDF, for later reference. (Output to
# stdout is so we make sure we get only the first page; it's the simplest
# hack I can find offhand. :-) )
# Make a thumbnail from the finished PDF, for later reference. (Output to
# stdout is so we make sure we get only the first page; it's the simplest
# hack I can find offhand. :-) )