Taking Firefox memory usage under control on Linux