Nicolas Pouillard <nicolas.pouillard at gmail.com> added the comment: I think they can be removed. If someone prefer the old one please complain. __________________________________ Darcs bug tracker <bugs at darcs.net> <http://bugs.darcs.net/issue1301> __________________________________