When I use VSCode for Coq using the VSCoq extension, I have to invoke a command to change the location within the proof I am inspecting. The UI for VSCode's Lean extension is much better - you just have to move your cursor and the proof view automatically updates. Will VSCoq get this feature by the close date?

Apr 29, 5:09pm: Will VSCoq support automatic reloading of the proof view by May 2023? → Will VSCoq support automatic reloading of the proof view by 2023-05-04?