Yes, it is Linux, and I have no problem doing this. But if I can avoid it.
What's the sense when I have to manipulate the xml files of the browser?
This should be possible within the browser.
But that is offtopic now. It was about a slow Firefox.