Do either of those work on browser extensions that I install as a user? I don't see anything relating to extensions in there.