@PublicLewdness @lminiero I really loved what @wimpy told me back then about improving MATE's efficiency:
"MATE is power efficient due to an aggregation of small margins. The margins between the competitors are so small there is no one thing you can improve to leap frog your opponents. So, you identify lots of small margins of improvement. Singularly they don't move the needle. Collectively, you win gold."