* Moved ban.php to admin-new.php: this will feature the new admin pages
  (under development).  I'll slowly keep adding stuff to admin-new.php
  and one day we'll be able to replace admin.php with admin-new.php: I
  am just making preparations and `pre-processing' some stuff so we'll
  have something to work from. Remind that the rewrite of admin.php is
  sheduled for v0.20.