Hello,

I remember there was some discussion about them, but I don't know what
was its conclusion. 

In any case, for the time being, some games use a "pretty name", e.g.,
"l-abbaye-des-morts", whereas others do not, e.g., "alex4". I think this
should be settled before 1.0 release. Hence, for the sake of
consistency, the following patch reverts all games back to their
original name.

Regards,

-- 
Nicolas Goaziou