oldtechaa: > So the options are generally either keep it in $PATH and add docs or move > it to /usr/share/doc/?
Yes. > If I were to work on thie docs and submit a patch, > how long would you be willing to wait? I might not be able to get to it > right away. Any time before the end of August works for me :)