Description

I just added a comment about an issue we need to check.  The login page
shows
an undefined index error.  Pretty sure it's because nobody is logged in
on the login page so $_SESSION["username"] is never defined at that
point.