I updated https://github.com/tc39/ecma262/pull/2923 with the change we'd talked about previously; if someone else wants to stamp it it should be good to go