42.5.3 version on https://jdbc.postgresql.org/

FYI: It looks like 42.5.3 has disappeared from the PostgreSQL JDBC web 
site and change logs. Or maybe I just dreamed its release? :)

Thanks, team, for maintaining this important driver.

Adam