Renaming extensions to addons, to make it more clear that they are not
the browser extension.