Fix #1347: Document ECMAScript versions with badges

A comment telling what is copied and where, and what replaces what, would be useful.