add DOCUMENTATION.txt