Currently, to download cart file we have to go through hoops - open author's profile, go to cartridges, select one we're interested in and click "Cart". How about download being available directly from the web player, perhaps in the header?

You can. Click here:

Still, it isn't immediately obvious. Adding "download cart" or just clicking cart ID (since it does look like a link) would go a long way.