Stallman insists he's still Chief GNUisance while 18 maintainers want him out (forums.theregister.co.uk)

18 out of 300 to 400

They can leave the GNU Project very easily. The project will still be owned by GNU, but GNU will have to find new maintainers. There's a lot of precedence with this.