avoid mentioning command-line options in something that runs in DrRacket
picture
todo updates