Great! so @cahrens I guess the proper step we could remove all instances of our tinymce and point it to the version in #2588 whenever that goes out, right? Hopefully that means that our PR and their PR goes out at the same merge (or ours after theirs).