not to be too nitpicky, but the grammer of the option above was `--[verb]-[noun]`, whereas this one is `--[noun]-[verb]. maybe it should be `--display-solver`, or the other one `--pdb-use`?