So WebExtensions is Mozilla&#x27;s name for a subset of the Chrome Extension API they&#x27;ll be implementing?<p>It&#x27;s really weird to see a project named WebThing that doesn&#x27;t seem to exist outside of a particular vendor&#x27;s blog&#x2F;wiki.  I&#x27;d expect to find a public mailing list&#x2F;GitHub repo&#x2F;landing page without much searching.  They don&#x27;t even own webextensions.org.