No, because then they wouldn't be calling it what it actually is, especially since it's a historical landmark of Yosemite National Park. Same as how people get flustered when someone calls San Francisco "Frisco". It's a shortened made up name and to many native San Franciscans it's an insult.
LOL. I don't know anyone who's used "Frisco" in the last 20 years, but regardless, it's totally unrelated. El Cap is what everyone who frequents Yosemite calls it. It's what climbers call it. It's much more insulting to listen to a bunch of people mispronounce El Capitan than it is to hear them say El Cap. AND it's a SOFTWARE release, not a re-naming of the mountain.