Mario was named after Mario Segali.
Yes, Jumpman was a carpenter. Then he was Mario, and still a carpenter, and then he changed to a plumber in Mario Bros.
Eccentricity is my goal. "The stupidest thing I’ve ever heard just came out of Lizard Dude’s typing hands."