I didn’t have time to try out vscode editor yet, but hope it’ll improve both code rendering and editing