Understanding the needs of music editors in a digital world. Adding support for editorial markup to the mei-friend editor.