(supertux-world (title (_ "octo's Levels")) (description "Levels contributed by octo") (hide-from-contribs #f) (levelset #f) (contrib-type "community") )
