Pushed updates to git. Note: I didn't update the Portuguese command file
(doc/commands/gretl_commands_pt.xml). I don't speak Portuguese, sorry.
It should not be difficult to learn Portuguese, for an Anglo-Italian like
you
(specially the Italian origin :) ).
I'll take care of the update tonight.