Amended options to pretty print edoc.