docs/DIAGNOSIS.txt: