This commit references #4

[CORRECT FILE FOR REFERENCE #4]
Links "Manage Profile" and "Manage Account" redirects the user to
manage_profile.php and manage_account.php, respectively, where the user
can edit his/her profile or account information