<p><a href="admin_files">Manage (downloadable) files</a></p>
- <p><a href="admin_admins">Manage administrators (passwords, etc.)</a></p>
+ <p><a href="admin_users">Manage accounts (admin passwords, etc.)</a></p>
<p><a href="logout">Log out</a></p>
<!--~}~-->