Hello DavidR,
For the google results you have to wait a bit because it was my invention, it is the darned first time you spotted this code online, and the name of the beast is mine too.
I would not have put it here, if I did not experience considerable faster loading myself. After posting the code at madamemmastent those that installed it from there reported faster page upload by "truckloads"as they say. The code is existing code, not particularly written for inside the Mozilla browser, I adopted three parts of this code as I found it, made my personal adaptation and compilation, tested the result security-wise, uploaded it to virustotal with full negatve results. After I had these favourite reactions of others I published the download link here. If it is generally accepted it is a leap forward, because everybody that is truely honest admits that FF or Flock browsers are known not to be "top horses" in these realms as compared to other browsers.
The workings of it as I grasp it is that the browser keeps the elements selected occupied too long to make it any faster when it gets more intricate or the browser gets older, the SelectableElementsTable JavaScript file does what it says it must do: making a selection on the elements table. You can almost instantly feel the results...
If you have a contrary experience, report that back to me, but I will doubt that.
polonus