Step title and time warning
honest votes for NOTA
timing adjustments
server-side shuffle, not client-side
server-side shuffle warning
SODA explanation
flexible numVoters text
murk hit fixes (taller, numbers)