Tom's markup editor

In one of Tom’s home lab shows he talked about a new markup editor that he with using. What was it?

Thanks,
Fred

So far I have been using this one. It’s basic but does what I need it to do.