Looks like we even beat the big boys with our PostgreSQL 10 rollout. Time to celebrate - even if it doesn't really matter. What they had to do to get to 10.x was definitely a lot more than what we had to do.
Anyway, their announcement came out last night and points out the same issue with the version numbers that we had. Since 10.0, version numbers are only two parts. Anyway, since we just use their APIs to get things done, I assume that everything will work the same way as before. We'll give it a try after Easter.
Enjoy your Holiday!