On Sat, Mar 17 2018, Ævar Arnfjörð Bjarmason jotted:

[...]I.e. on git.git we end up with just over a a 8.5% reduction, and[...]

Urgh, sorry, this should say "on linux.git...". None of these numbers
came from testing git.git.