mmmmm...
userscript (aka extension) that only runs when the page has "RTB Listings" in that spot
finds the Download [filename] bit and modifies the link to one of the lovely add-on hosts available
this isn't even complicated
i'm too busy with school to do this though.