Hi, thanks for pointing this out. Please use our bugtracking system <http://www.dune-project.org/flyspray.html> next time, as bug reports on this mailing list might be forgotten. Markus P.S.: Still waiting for an answer on the "ISTL is too slow issue"...