humm, that's a while since I admitted that the idea of making an editor of dialogs wast mostly inspired by a paper from Luca Cardelli. How should I interpret this silence, is it that Clean people hate Luca Cardelli, that you hate people that are unable to have ideas by themselves or that you are still busy reading the paper?