[codex] Add mousehole compatibility#24

MagicWagon wants to merge 1 commit into

myxdvz:mainmyxdvz/booktree:mainfrom

MagicWagon:codex/add-mousehole-compatibilityMagicWagon/booktree:codex/add-mousehole-compatibilityCopy head branch name to clipboard