Board Thread:Inclusion debates/@comment-28743561-20191009174707/@comment-1783865-20191015112937

Oh, it is by no means a valid alternate name whatsoever. It is clearly a slip in any case. The fact that the new version adds it intentionally does not make it an alternate name, but a case of being faithful to original.