Thread:Byll/@comment-24442878-20190511042224/@comment-24442878-20190515171356

They aren't supposed to be shown, but they are shown, currently. Maybe it could go back after we get rid of all redlinks, but meanwhile, it could be useful to have them different, so identifying them becomes easier.