On 2017-10-20 16:59, W. Martin Borgert wrote: > I would package the new dino under this name, because I don't think > there is a conflict. OK, I will better not reuse the name, but go for dino-im (= dino instant messenger), which fits with its domain name dino.im. Thanks for all your input!