Fixed in https://github.com/metamath/metamath-website-seed/pull/20.
On Sun, Nov 12, 2023 at 4:18 AM Mario Carneiro wrote:
> Looks like this is because the source was line-broken there, it says
>
>
>
> in the source and this is enough to fool the simple image usage heuristic
> here:
>
>
>
Looks like this is because the source was line-broken there, it says
in the source and this is enough to fool the simple image usage heuristic
here:
https://github.com/metamath/metamath-website-scripts/blob/8d81a0c1ab3e433b335b4e6a3bdc364d277b4946/build-website.sh#L133
I'm not sure what the