Wikipedia:Articles for deletion/Polytopia
to The Battle of Polytopia per sources provided by Zxcvbnm above.  is met with multiple reliable independent in-depth (reviews) sources.  does not appear to be Polytopia, so we should use the full name. Leaving a redirect seems fine. —&nbsp;&nbsp
— user:Hellknowz, 09:57, 17 August 2017 (UTC)
Stance: merge
Cited policy: WP:GNG||WP:COMMONNAME (Wikipedia:Notability)