I can see his point. "Terves" is treating "TERF" like "dwarf" which is an interesting take, since it's an acronym. TERFs is equaly valid, and tbh I've seen it used a lot more.
EDIT: and reading the rest of the thread I see that point has already been made 😁