My previous observation was more about pointing out the risk involved (even if it’s just with us fans), and how Disney could easily avoid comparisons by using Ant-Man, or a different Marvel property.
Spider-Man is the most popular Marvel character of all-time. Disneyland no longer caters or even tries to please its fans. They'll show up regardless. This is a move to get families living in the North West (or wherever) to bring their little boys to see their favorite superhero.
There's really not an issue, and the only people who seem to care are the 0.5% watchdog fans.