On the down side, yet another reformat. And probably more churn each time we update our rust version.