It would be good to use the functionality of PtrCodeGen in the browser for interactive editors. This is currently blocking #1808
