The sense of entitlement and lack of gratitude being shown by some posters in this thread is frankly staggering.
The MR library is a fantastic resource, created through the selfless efforts of a great many contributors. I really don't understand the mentality that chooses to find fault with this.
If you don't like the way it's done, you're free to try to do it better yourself - don't carp about the efforts of people who donate the fruits of their not-inconsiderable labours, without reward, for the benefit of others.
HarryT and all the many other contributors to the MR library - THANK YOU!
Your work has given very many people a great deal of pleasure.
/JB