Reddit Enhancement Suite, a browser extension used to tag and track user accounts, mentioned in context of identifying Israeli propaganda accounts.