This was fixed in commit b8728ec0, by using Lua long literals in savegame, so
that translations can use any character without potential bad side-effects.