Moinさん、ありがとうございます。その通りです。@gormus 実際のグループIDが依然として表示されるのは、テーマ設定の管理者UIのみです。
以前投稿した内容から明確かどうかはわかりませんが、anonymous_users と logged_in_users は、この今後の変更を有効にしなくてもいつでも使用可能です。これらは数か月前に独立して追加しました。この今後の変更の主な内容は以下の通りです。
したがって、いずれにせよ、everyone の使用箇所をすべて削除し、今後は anonymous_users と logged_in_users のみを使用すれば、安全です。
本日、サイト設定から everyone を完全に削除するために残っている作業の計画を立てる予定です（カテゴリ設定については当面触れません）。その計画をここに投稿しますので、これにより今後の進捗を共有しやすくなり、進めながらこの計画を更新していけることを期待しています。