user.js fix: searchable #tag on Opera 12

Opera 12:
example.com/%23foo
location.pathname // "/#foo"

Others:
example.com/%23foo
location.pathname // "/%23foo"