
  * configlet to allow the portal admin to decide what bookmarklets to display

  * configlet to add new bookmarklets
