> ("ctrl-g" for "bold" - "grossir").

Just nitpicking, but "g" stands for "gras", a literal translation of "bold" in the context of typography.

> I remember some HN user from Switzerland saying that IIRC either his IP is being moved around in geoIP databases between Swiss regions

And that's why assigning users to specific services/servers/translations depending on IP is the worst kind of evil. Please let us choose the language consciously in a menu, or respect our browser settings: whatever our shit ISPs are doing behind the scenes should not impact our browsing, and no, IP addresses don't have a "country" and the simple fact that you need to use 3rd party databases (geoIP etc) is proof of that and just how stupid the whole concept is.