08:20 | <annevk> | TabAtkins: It's from https://github.com/w3c/htmldiff-ui. I suspect it also impacts W3C documents relying on PR Preview? |
08:21 | <annevk> | TabAtkins: whatpr.org is our own PR Preview domain. I didn't want ugly S3 URLs all over the place. |
08:33 | <annevk> | TabAtkins: See https://github.com/w3c/htmldiff-ui/blob/main/htmldiff.pl#L314-L331 (if you mean other styles I need a more specific question I think) |
09:36 | <Domenic> | Just to pile on the Bikeshed API server a bit more, it seems like it hasn't been updated since a random commit in September, https://github.com/speced/bikeshed/issues/2762 |
09:37 | <Domenic> | Someone should write a version of htmldiff.pl that doesn't insert random spaces everywhere |