9fc2dad147
This problem was found when checking bad links using the tool proposed in #22541. It might have confused many browsers so far.