I'd prefer having `version='5.2.0'` here, since that aligns with the `2` in `2013.2`.