Released 0.1.12 is now available both in the download section and inthe update site.
That release fixes a problem with Error markers that were not properlydeleted in some cases.
-- Daniel