Editor v0.7.7.2 released! (with a postscript)