retitle 781928 ITA: shtool -- portable shell tool from the GNU project thanks --- Uploaded now, using 2-day delay queue, the revision 2.0.8-7, that will close this bug. Cheers, Eriberto