jstree and tinymce versions; move to demo page tinymce.html