On 2013-01-10 04:49, Timon Gehr wrote: > Yes, the goal is to have the back-end be fully separate. It should also > work with no back end at all, eg. for highlighting in code editors. That's always nice to hear. -- /Jacob Carlborg