@aral technically I think 8.0.x is considered a separate version track from 8.5.x. So 8.0.53 is the highest they can go without facing compatibility breaking changes. Nevertheless, that version is no longer supported (since 2018), so yeah, seeing it in the wild is bad.