Bumped v0.9.3. Updated HISTORY.