RandomPageShortcut

 is a script that adds a random page header shortcut.