This used to be the most convenient way for saving a bookmark in Safari. Where is it now? Or do I have to install an extension?