corejs.github.io: text amends