Today (October 24, 2023), a v1.1.0 update to this extension was released that makes the above steps unnecessary. It now stores the current version of BepInEx AND adds an extra option to give players agency to manually update it from GitHub directly whenever they feel it necessary. There's even a new Open drop-down menu option for the directory where Vortex stores it, so that it can be overwritten with any other version if needed.
This is a Good Thing. The modal dialog announcement of this was also a very Good Thing.
