update add_jquery_and_dat.user.js so that it works with custom ports