Thread:Devo DrakeFox/@comment-29456569-20190207194544/@comment-2187052-20190207211521

He's right, actually. I looked it up on the Mario wiki and the name has changed since I first wrote the article.