I have updated the online editor to the most recent version, go and check it out. It is not tested very broadly, so all feedback/bug reports or even wishlists are welcome.


This is an archive post. It represents a point of view in the past. Facts might have changed, events might be interpreted differently as of today. Links might be broken.