[add pointer to Gentoo package Malcolm.Wallace@cs.york.ac.uk**20060509093420] { hunk ./docs/index.html 179 +Gentoo package, }