Fix onion-editor version