my vote: name change

[Warren Togami]

I should have posted this earlier, but when I initially saw the suggestion I
was thinking against it.  The current name is fine.  And plus, it doesn't
matter what the name is, all that matters is what the group does.

So yeah, my vote is no.