Update HISTORY and TODO.