In a world of closed platforms, browser extensions are the rare exception that let users modify the apps that we use.