@Tibor17 Yes, we should definitely specify an encoding.

@dsaff @Tibor17 If we didn't have a defined encoding up until now I would vote for UTF-8.