devel tools `userman-devel-auth.user.js`: auto auth user script