Userscript to add a refresh button to the Steam market