It seems that Package Manager shows the order of versions in odd manner. See the attached screens shot, 5.7.2 is located at top of the list, but the actual latest version is 5.13.0, right? Or, 5.7.2 is showed at the top because the version is marked as "2019.1 confirmed"?
Hi Ynaoto, I don't see the detail of this package but I'm pretty sure 5.7.2 is the verified version for your editor. We prioritize verified versions over normal release versions. Since 5.13.0 and other versions higher than 5.7.2 are not verified, we don't suggest them. That's why you see 5.7.2.