Me personally don't feel like adding this kind of format into official site distribution, because:
1. It is not supported by any PHP editors 2. It is not very popular (only about 400 people downloaded it so far) 3. It is integrated with Java based commercial web-service (at least it seems to be so) 4. ThoutReader is (TM) and 5. PHP community is not a marketplace
I second that.
But you don't have problems with adding a link on the download-docs.php page, right?
Goba
