fix #3398: have options menu for pocket queries