User scripts for web browsers