have been a marketing smash. Spiders had history. Spiders would have been a very popular choice. There was little risk with Spiders.
They overthought it. Just because you can think of connections with a potential name to elements in your city doesn’t make it a good name.