> I'm glad someone is using that :) i'm also using it, it's very useful sometimes. the issue is fixed in git. thanks for the report. best, gabor