Improve exercise editing. Also add preferences for displaying
annotations and viewing online videos locally.