> Long argument short, Times New Roman isn’t bad, but it isn’t good. It is the median choice. But most of the circuit courts use it: the Third, Sixth, Eighth, Ninth, Tenth, and Eleventh.

False: the Eleventh, for example, appears to use some variation of Dante (regardless, it is certainly not Times New Roman).

Gruber's source appears to be a six-year old Reddit post. Instead, he ought to have pulled up an opinion from each (they're posted daily) and inspected the PDFs.