Category:Redirects from colloquial names

If the official name is different from the redirect target, use the first unnamed parameter as follows:

Pages that link to these redirects should be updated to link directly to the official names without the use of a piped link that hides the official name.