A lot of the puns wouldn't work in English (Panoramix being an exception) For example, Dogmatix is called Idefix, from the French phrase "idee fixe" It literally means "fixed idea", but a better translation might be "dogmatic", hence the name change. I think a similar thing happened with the Tintin comics.