Cool! Hmm yea - maybe I should highlight that it's just a shell script somewhere. I already say " It is a very short and simple shell script. " in the first pa

Cool! Hmm yea - maybe I should highlight that it's just a shell script somewhere. I already say " It is a very short and simple shell script. " in the first paragraph. Maybe I should say something else too. Thinking... Edit: responding to your edit: Yea, there's a lot of cruft that gets added to a source directory when you try and make anything on Linux into something suitable for /usr/bin and /usr/share/man. C'est la vie.