Fix #1347: Document ECMAScript versions with badges