Removing documentation.txt as it is redundant to github wiki pages and not up-to-date.
Removing documentation.txt as it is redundant to github wiki pages and not up-to-date.

WinnowTag/winnow,WinnowTag/winnow,WinnowTag/winnow