Tools for Gecko/Firefox/Firefox OS developers