Updated
Account for the fact that weird people put capital letters in URLs.

Changelog » Change #2910

This change has no additional notes.

Comments for 2023-05-21