Hm; I was under the impression that the 5.10.1 patchlevel did not restore the performance -- at least all of it -- and assumed the latest patchlevel with each major version in my statement. That is, my statement was '5.10.1 was slow compared to 5.8.9 and 5.12.4 and 5.14.4'

But please don't mind me -- I may be talking out of my arse.