Octotree – Proprietary Firefox extension contains AGPL-licensed code