Who.user.js: a new build 1.0.25