Just checking some old emails; the latest version of mu is (still) blazing fast! Already 7 years and counting.
