Obrigado, Moin, está exatamente certo. @gormus o único lugar onde os IDs reais dos grupos ainda aparecem é na interface administrativa para as configurações do tema.
Não tenho certeza se isso ficou claro com base no que postei antes, mas os grupos anonymous_users e logged_in_users podem ser usados a qualquer momento, mesmo sem essa alteração futura estar ativada; eu os adicionei independentemente há meses. Esta é a principal função da alteração futura:
Portanto, de qualquer forma, você estará seguro se eliminar everyone em todos os lugares onde é usado e usar apenas anonymous_users e logged_in_users a partir de agora.
Hoje planejo elaborar um plano do trabalho restante que preciso fazer para realmente eliminar everyone nas configurações do site (deixando as configurações de categoria de lado por enquanto), e o postarei aqui, com a esperança de que isso ajude a manter todos na mesma página no futuro, e eu possa continuar atualizando este plano conforme avanço.