Devloping Magma with VSCode With respect to the ongoing documentation restructuring this page was moved to the Github Wiki.