docs/HISTORY.txt translated