GitHub repository: mozilla-iam/dinoparklocaldev
Description: WebExtension for local DinoPark front-end development (proxies to localhost).