Stallman insists he's still Chief GNUisance while 18 maintainers want him out

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.