This looks like a great editor. Just a heads up over the name of the project. I've released a browser extension for navigating browser tabs named Tip Tab about 5 years ago [1]. Unfortunately its name is only one letter part from the Tip Tap document editor. Just a clarification to avoid the confusion between the two. Cheers.