Como instalar xul-ext-toggle-proxy no Debian 9 (Stretch)