Not much we can do on the Mu side, so we should update the docs for the release after this PR is merged: - https://github.com/mu-editor/mu/pull/2279
Not much we can do on the Mu side, so we should update the docs for the release after this PR is merged: