HISTORY.txt: Fix restructured text markup.