Pr05/migrate user controller oct proposal 2#19

clairep94 wants to merge 3 commits intopr05/migrate_user_controller_octclairep94/p5.js-web-editor:pr05/migrate_user_controller_octfrom

pr05/migrate_user_controller_oct_proposal_2clairep94/p5.js-web-editor:pr05/migrate_user_controller_oct_proposal_2Copy head branch name to clipboard