Note 1: unsupported themes were already removed in a previous commit. Note 2: we should maybe add the new themes.