In the redundancy file. Someone needs to create a bookmarklet that loads into the current page an interface for executing pre-saved bookmarklets. I’ve already seen several examples of this wi…