Bumped v0.23.0. Updated HISTORY.md.