With vbulletin default they do... at least with version 4.1.0 - maybe with 3.8.4 (the version this forum has) it was a little different? More likely that they just unchecked that option... I swear super mods do usually have those options... I hate being wrong lol
Super Mods are supposed to have a Mod control panel that looks similar to this:

Bookmarks