Talk:Double Mario

Is there an official source for this name?

09:24, 2 October 2013 (EDT)