gretl/doc/commands
