Garry's Mod is a game with comparable modding capabilities that has this feature, including the option to specify an alternate download server.
Unsurprisingly, there is much more variety on public servers, not just a few standard maps everyone is tired of.
Edit: This is a duplicate of issue 0006428 and related to 0009111. I used the search function but only found these later through Google which apparently handles similar keywords better.