Agda ändrar sin lösenordspolicy så att det kommer att krävas minst 15 tecken i lösenorden och det får inte finnas mer än två likadana tecken efter varandra. Detta innebär att alla som har lösenord som är kortare än 15 tecken kommer att behöva byta sitt lösenord när de ska logga in efter att ändringen genomförts.
