Yes indeed, that's how I proceeded in the end. It worked fairly well.
BTW, I just came across the remote development feature of the Zed editor (https://zed.dev/docs/remote-development). Don't know if that could work in an app/code/ directory but if, it will make coding Grav easier.