Add learn_better_notifs.user.js