@numericcitizen Good news! The editor is apparently Manton’s next big project.