Fix projects/gpfs-firefox/badges.html