Now a proof editor