Rocq: enable messages for Rocq >= 9.2#850

hendriktews wants to merge 1 commit intoProofGeneral:masterProofGeneral/PG:masterfrom

hendriktews:message-fixhendriktews/PG:message-fixCopy head branch name to clipboard