For history download/upload/transfer help, please see this recent Q&A: transfer history from my account on one Galaxy server to another Galaxy server
And this screenshot shows how to search for the Mpileup-related tools available at Galaxy Main (https://usegalaxy.org) and where the versions menu is located (same placement on all tool forms):
