`oxipng -omax -Z` manages to reduce these images by 165 KB. While the total data transferred isn't a significant contributor to the total page load time, reducing it with no downside seems… worthwhile.
Pull request: https://github.com/WebKit/WebKit/pull/16276
<rdar://problem/113571262>
Committed 266719@main (33c49ff64449): <https://commits.webkit.org/266719@main> Reviewed commits have been landed. Closing PR #16276 and removing active labels.