Comment by DebugDruid

I don’t see a problem with the github PR workflow for updating documentation. Yes, it’s one step more, but it’s nothing special when you use github’s online editor.

PS: MDN and MSDN are my favorite documentation sites.