The --solver-log option is now hidden from help unless --help-internal is used.