Update RepNotifier.user.js