add doc/dr.txt; format code