And since I was looking at it, I added printing the LICENSE to the
command line options.