[Gretl-devel] remove loop... --quiet in docs

Hi, since --quiet is now the default for loops, OK to remove that variant from the guide? It occurs in various places there, and probably the main explanation of the options could also be updated. (Checked against the April version of the guide, in case I missed some very recent edits.) Or is there possibility that the default will be reverted again? thanks sven