This encoding problem happened with 2 different persons, with 2 different Ubuntu versions, so this problem is confirmed.
This encoding problem happened with 2 different persons, with 2 different Ubuntu versions, so this problem is confirmed.