> [...] So I changed that, and committed this, with some further cosmetic
> changes. [...]
Thanks for the commit & the style improvements.
For the text formatting, I tried to keep the screen width under 80
characters, because if the line is too wide it is harder to read as the
eye may loose the alignment. But being homogeneous with other commands is
fine with me as well.
--
Fabien.