This fixes a number of small problems with v2.5, including #1033 (closed), #1032 (closed), #1006 (closed), #1039 (closed), and #1050 (closed). Also, it recovers some of the speed gain in HTML-CSS that was lost in a change during the testing of v2.5 to resolve an issue there. Finally, it fixes some problems with maction.
@pkra, are you ready to do an update to the CDN for v2.5.1? If so, I will repack and recombine, then we can merge this and tag a new release.
I ran several broswer/OS combinations through the test suite on this branch, to make sure there were no unexpected results, and it looks good.
Did you intend the update to mml3 to be part of this hotfix? Currently, it is in the develop branch, not the hotfix branch, so it is not in this merge right now. If you want it to be included, I will cherry pick that commit from develop.