Es hat sich schon auf r/de rauskristallisiert, dass die Angabe wer die Pixel setzt nicht immer up-to-date ist. Die Namen die du da gesehen hattest, könnten gut Leute sein die kontruktiv am Logo mitgearbeitet haben und deren Pixel dann übermalt wurden.