Do these articles get edited by users as well as developers?
They certainly should be, the documentation should be for everyone so just having developers work on it isn't the best way to achieve that!
I would suggest you make the changes then just drop a note in the documentation chat asking people to review and amend/suggest edits if necessary.