issue #74: let user choose WYSIWYG-Editor