Editing early music[electronic resource]