Why are you not optimistic? It takes time, yes, but 7 years is a long time. I personally am optimistic wrt what HTML+CSS can do in terms of typesetting (even PDFs): https://authorea.com/users/3/articles/4675/_show_article