Bumped v0.13.0. Updated HISTORY.