Hacker News new | ask | show | jobs
by PurpleRamen 786 days ago
Because this specific browser extensions are named WebExtensions[1].

[1] https://www.w3.org/community/webextensions/