Delete some broken old spec text.
Change some arrow functions into ES5 functions, and remove an unused variable.