Nein, das ergibt keinen Sinn, es ist wirklich nur ein weiterer Randfall, den man abdecken muss… Ich werde anonymous_users zu disallowed_groups für dieses Plugin hinzufügen. Außerdem bin ich stark davon überzeugt, dass es nicht viele Websites in der Wildnis gibt, die dieses Plugin aktiviert haben, also mache ich mir im Moment keine großen Sorgen, dass dies falsch konfiguriert wird.
Ich denke, so würde ich das im Allgemeinen bei diesen Arten von Einstellungen handhaben. Wir können auch mandatory_values nutzen, um sicherzustellen, dass bestimmte Gruppen immer ausgewählt sind, sodass man nicht an einigen Stellen nur anonymous_users hat. Oder wir nutzen Einstellungsgültigkeitsprüfungen, um zu sagen, dass man anonymous_users nicht ohne mindestens eine authentifizierte Benutzergruppe auswählen kann, und so weiter.