If the board (unofficially) changed it in 2008, why can't they just change it back to it's rightful name now? I don't think anyone would complain, just this once.
I think more communities should practice trap, neuter and release for feral cats. It is heartless to think of feline colonies off because of starvation or predators. There are agencies, such as Friends Of Feral Felines who are willing to help. Put a little research in your area and make that call to help the poor cats and in the meantime please feed the cats!