[Freeciv-Dev] Server option names

[Jason Dorje Short <vze2zq63@xxxxxxxxxxx>]

Lino Mastrodomenico wrote:

> I haven't used the long names (notrade_citysize and fulltrade_citysize)
> because the server option length is limited to 13 characters (we can still
> use these names for the internal server variables, but using a name different
> from the user-visible option isn't a good idea, IMHO).

On a related note, it appears to me that you can't use underscores "_"
in server option names at all.

Is this correct?  Is it intentional?

jason