since I'm not english native speaker, I'm not going to draft the official choice 4 text, but just providing the idea.
* rms was, is, and will be playing an important role in the FLOSS community, whatever now option1 suggests to remove him from leading position of some team / organization. * debian is an open community that still has certain amount of rms's work, such as code, docs, etc. * debian have a lot of resources, including community team, can perform mitigation when something unexpected occurs * if community team can do something mitigation, it will benefit debian, and the whole FLOSS community any thought? cheers, -- Roger Shimizu, GMT +9 Tokyo PGP/GPG: 4096R/6C6ACD6417B3ACB1