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

.   ,\  /\  /.  ..  .
 \./  ><  >< |  ||\/|
  |  /  \/  \|__||  |