Editor v0.7.7.2 released!