I don't think we need to ever remove the mutation observer. Gecko makes sure you only ever add an observer once to an element, and I don't see a problem for this observer to stick around for the lifetime of the app.