Hacker News Reader

Thank you for pointing it out and for a well-written explanation. Took a quick look and Chromium seems to call them all 'extensions'.

In Chrome they're different - chrome://plugins/ vs chrome://extensions/