update drracket HISTORY.txt