wesjos's picture
rename: drop 'Mario' from repo name, sync slugs/title
cdd642e verified