[nanoPG]: emacs like copy/paste
CoqIDE: when coqtop misbehaves kill it properly (no zombie)