Sync with WHATWG up to r8611.