The process of handling development stages needs a bit of work

Per @burke’s comment here (and @dkayiwa’s comment right before it) we intentionally decided to “not let dev stages get in the way”, and let @ssmusoke do this point release even though he didn’t meet the usual dev stage criteria, since he was willing to put in the effort.

So, yes, we need to document that when this happens, (a) the appropriate person should grant temporary elevated privileges, and (b) on the release process page, ask the releaser to verify this has happened.

But we don’t actually need to change dev stage definitions. (And “doing a point release” isn’t really the same as “being a release manager”.)