How does this work with the in-browser editor at github.dev?