rygorous f6f913d is not actually a win when I re-measure it.
d470931 Feb 26, 2017
f6f913d is not actually a win when I re-measure it.
So undo that code and the notes describing it. Weird.
I definitely re-tested this several times when I originally
implemented it. Whatever. :)
d470931