Deletion of Polytopia

Comment: 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
Stance: merge
Cited policy: Wikipedia:Notability (WP:GNG||WP:COMMONNAME)