- @RainbowSilver2ndBackup: Is there a reliable source that would support moving this page to that title? All I can find are sources saying the characters are unnamed. Please keep in mind that files are not moved simply because one name is better than another, but because the previous name is erroneous or misleading. --AntiCompositeNumber (talk) 00:33, 14 February 2019 (UTC)
