[Bug 358560] New: Solver messages still highly confusing