Hi, in the theme repository we have a pmahomme theme, but we also have the one that's maintained and released as the official theme. I believe it's probably best to remove the one from the themes repository to avoid confusion, but I'm also not sure whether this makes the most sense. Any other opinions about this?