We're upgrading to 8.13 from 8.4.1. Do we just upgrade to 8.13.0? Or do we upgrade to the latest version of 8.13 (8.13.8)?