Merging branch/2024-11-26/fix-manual-build for GitHub pull request #297…

… <#297>

Removing use of deprecated alias of VersionChange

manual/source/extensions/mps/__init__.py

@@ -12,7 +12,7 @@
 from docutils.parsers.rst import Directive
 from docutils.parsers.rst.directives.admonitions import BaseAdmonition
 from sphinx import addnodes
-from sphinx.directives.other import VersionChange
+from sphinx.domains.changeset import VersionChange
 from sphinx.domains import Domain
 from sphinx.domains.changeset import versionlabels
 from sphinx.locale import admonitionlabels