<html><head><meta http-equiv="Content-Type" content="text/html; charset=us-ascii"></head><body style="word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;" class=""><br class=""><div><blockquote type="cite" class=""><div class="">29 jan. 2020 kl. 09:04 skrev Daniel Veditz <<a href="mailto:dveditz@mozilla.com" class="">dveditz@mozilla.com</a>>:</div><br class="Apple-interchange-newline"><div class=""><div dir="ltr" class=""><div class="gmail_default" style="font-family:arial,sans-serif;font-size:small">It will be tons easier to distribute a small WebExtension </div></div></div></blockquote><div><br class=""></div><div>the other major problem with this, if I understand it correctly, is that web extensions only work for a particular domain.  I need something the use can install and will work at any point.  what I need is something that works at the same level as http, ftp, etc.</div></div></body></html>