A temporary repo for Mitch's evmini commits