The source project of this merge request has been removed.
reshuffle pixel themes and general maintenance
Ended up removing the two themes with unclear origin without substitution. Transferred the extra letters to pixelangelo.
Ended up removing the two themes with unclear origin without substitution. Transferred the extra letters to pixelangelo.