A Curated List of Mozilla Firefox Extensions for Developers