Refactor, generalize sync text
Merge branch 'master' into sync-text
Further editor fixes and refinements
Merge branch 'master' into sync-text
Store and display licenses for text versions
Merge branch 'master' into sync-text
Merge branch 'sync-text'
Merge branch 'licenses'
Fix handling of 'Add Text' button
Merge remote-tracking branch 'origin/master' into logging