Great! Now, this is ridiculous.
This exactly night I've also made a new Allmine update, but separate packages for EE and PE, and was just about to create a topic about it. No point to do it now, of course, but still I'll post my results here.
My updates too work flawlessly on both EE and PE. Like yours,
vldmr, they do fix serial numbers for all eDGe colors, not only black units like the original Allmine. I place them here just because they address one issue that yours currently doesn't: they
fix library regardless of whether it is located in internal memory or on SD card.
Update: modified
vldmr's Universal Allmine to patch library on SD card if one is found. See in attachment. My previous separate files removed.
Update 2: added support of shorter than 13 character serial numbers.