this is a mediawiki limitation and cannot be fixed Andrew4043 22:43, 9 August 2023 (PDT)

CAn we have this page deleted? It's a duplicate of an existing page. Flyspeck102 20:39, 10 August 2023 (PDT)

which one Andrew4043 19:17, 11 August 2023 (PDT)

this one - Ivan28283 00:02, 12 August 2023 (PDT)

this is why colons aren't used often the search function does not work well with non alphanumeric characters Andrew4043 10:30, 12 August 2023 (PDT)