Encontramos o que parece ser um bug com o horário de verão não sendo reconhecido e, portanto, mostrando a hora errada (atual) para o usuário. Experimentamos isso no ano passado, mas na época descartei como um glitch temporário, mas aconteceu novamente, então parece ser um bug sazonal. 
Portanto, usamos a opção de exibir a hora atual do usuário em seu Cartão de Usuário:
Tudo funciona bem, até que uma mudança no horário de verão ocorra.
O caso específico que encontrei foi de alguém na Holanda (fuso horário Europe/Amsterdam, corretamente configurado na conta) mostrando uma hora a mais do que deveria. A Holanda mudou seus relógios em 26 de março, o que provavelmente explica por que isso surgiu agora. Parece acontecer também com usuários em outros fusos horários: verifiquei com Europe/Berlin (também CET/CEST) e também Europe/Helsinki (EET/EEST). Meu próprio fuso horário é Europe/Lisbon, mas, até onde posso dizer, a hora errada é exibida incorretamente tanto para o próprio usuário quanto para outros em fusos horários diferentes.
Reiniciar a instância não resolveu. No entanto, reconstruí-la resolveu! Portanto, algo parece ser específico do momento em que a imagem é construída, o que impede que as mudanças de horário de verão sejam refletidas quando elas ocorrem. As mudanças de horário de verão acontecem em datas diferentes para lugares diferentes, então agendar reconstruções como uma solução alternativa não é muito prático.
Testei a correção (reconstrução) apenas em nossa instância de staging/teste, então ainda tenho nossa instância de produção com esse problema caso alguém queira dar uma olhada (por favor, envie uma mensagem privada e compartilharei os detalhes), pois só será reproduzível em uma instância que não foi reconstruída recentemente, o que pode torná-la um pouco complicada de depurar/reproduzir.