We finally have a functional version of the system password initialization
and login forms, with proper SHA-512 hashing of passwords. :)