v0.5.2 release including github-hosted firefox addon