Fill in HISTORY for what has changed since 0.8.2