Comment on [#11456] [Mediawiki] Page creation with whitespace and rename to it generates a different page name

.    __ \  / __ .   
|   /  ` >< /  `|   
|___\__./  \\__.|___