Proper Menubar browser extension adds useful options to your favorite web browser