Na verdade, concordo com os dois primeiros postadores. Oferecer a opção nativamente faria sentido?
Se o administrador incluiu a descoberta de Marcadores na configuração do Menu Superior na configuração básica, então, para mim, é lógico incluí-la nas opções de interface do usuário? As duas listas deveriam ser idênticas?
PR é bem-vindo?