Most published papers on software verification deal with software used in research or some narrow vertical industry settings few outsiders have access to. On the contrary L Peter Deutsch's talk "The design, development, and maintenance of Ghostscript: (how) could verification have helped?" covers a widely used piece of software, that has evolved over close to two decades in the public eyes. More short notes on Deutsch's other contributions like PDP-1 Lisp, Smalltalk and "8 Fallacies of Networking" will come in the future.