Also probably should have a bugs.webkit.org category, not sure how this ticket should be classified either :-).
This is done.
🎉