New version of documentation (with naive TAD included).