Comment Comment by dschrempf Well, that was a bit of pun. Of course, it is not the best for everybody. However, I am sure that it is the best editor for me! parent dschrempf 4 months ago