[galaxy-dev] How to replace 'BioMart Central server' in the "Get Data" tools ?

Hi As you probably know, the central BioMart server is currently unavailable (see: http://www.biomart.org/notice.html). Hence, the "Get Data -> BioMart Central server" tool in our local Galaxy installation does not work anymore - well, this is also the case on usegalaxy.org. We can easily switch the tool to point to a different Mart server, i.e.: Change: <inputs action="http://www.biomart.org/biomart/martview" .... to: <inputs action="http://www.ebi.ac.uk/uniprot/biomart/martview" .... However, we would like to switch to the ensembl Mart server: http://www.ensembl.org/biomart/martview It looks like the ensembl Mart server is nowadays embedded in the ensembl web site, and the requests are not send to Galaxy, but end up on the ensembl web page, where they cause a "Error 404 - Page not found". Unfortunately, I am not that savvy about the inner works of the ensembl web site anymore ;) Has anyone else looked into this problem and found already a solution? Thank you very much for any help Hans-Rudolf