release 0.7.7. This is another hotfix because 0.7.6 was sometimes broken in Firefox.