inert
moved all diagnostic output onto stderr
annotation of output lines now optional
additional minor output options