> Genuine question, what exactly do these maintainers want ? Stallman has already quit his leadership role/position, right ? No. There was some confusion on t

> Genuine question, what exactly do these maintainers want ? Stallman has already quit his leadership role/position, right ? No. There was some confusion on this point because a note was posted to https://stallman.org/ https://stallman.org/ announcing that RMS stepped down from leadership of GNU, but this turned out to not have been posted by RMS (or with his authorization). (It was apparently posted by someone who added RMS as an entry to the "what's wrong with…" series, with a link to the Medium post that kicked all this off. Without commenting one way or the other on the underlying issue, that is a fairly funny bit of Internet vandalism)