.
Actually this looks fixed by https://github.com/WebKit/WebKit/commit/3b873277274b8b71b3a7ffc31e3067eb6a9818fe. Closing.