Replace event interception with patch of docManager.open

[loichuder]

Fix #61

TS is not happy

[github-actions]

The backport to 0.x failed:

The process '/usr/bin/git' failed with exit code 1

To backport manually, run these commands in your terminal:

# Fetch latest updates from GitHub
git fetch
# Create a new working tree
git worktree add .worktrees/backport-0.x 0.x
# Navigate to the new working tree
cd .worktrees/backport-0.x
# Create a new branch
git switch --create backport-65-to-0.x
# Cherry-pick the merged commit of this pull request and resolve the conflicts
git cherry-pick b16c7fa13085b92d276bc5ba46a42296cc96ed0c
# Push it to GitHub
git push --set-upstream origin backport-65-to-0.x
# Go back to the original working tree
cd ../..
# Delete the working tree
git worktree remove .worktrees/backport-0.x

Then, create a pull request where the base branch is 0.x and the compare/head branch is backport-65-to-0.x.