Well it's not a big deal of course, but it is a little confusing to me. Maybe the main reason people use something like this is because they're behind a firewall, but they may have other reasons for wanting to install from a mirrored repo. Calling it something like 'mirror_install' would make it more universal IMO.