Mozilla ponders policy change after Firefox extension battle