Naming difference between download page and Maven central

Hello all,

we have noticed that the files that can be downloaded from the download page (http://jdbc.postgresql.org/download.html)
havedifferent file names than those that are uploaded to Maven central: 

  Download page: postgresql-9.4-1201.jdbc41.jar
  Maven central: postgresql-9.4-1201-jdbc41.jar

Is there a reason for this?

This is a bit confusing when obtaining the driver from different sources.

Regards
Thomas