Talk:Jumpman (badge)

Shouldn't this just be Jumpman? Niiue (talk) 07:52, 29 June 2017 (EDT)
 * No. Jumpman redirects to Mario.
 * RogueSphere5678 (talk) 14:12, 29 June 2017 (EDT)
 * I'm aware of that, but it's still not the name of an actual article. Niiue (talk) 18:55, 29 June 2017 (EDT)