I'm assuming the intended use-case will be clicking on a shortcut to Github's integrated "Edit & do pull-request" function embedded in the MDN website pages, an

I'm assuming the intended use-case will be clicking on a shortcut to Github's integrated "Edit & do pull-request" function embedded in the MDN website pages, and write one's edit in the Github editor GUI, which isn't bad. Anything closer to having to make a manual Github pull-request would be incredibly unergonomic for someone without an existing CLI setup for Github (ie. most developers).