I'm in the process of adding Seam 1.2.0.PATCH1 to repository.jboss.com and I noticed that the package file name is "jboss-seam-1.2.0.PATCH1.zip". In general, should packages that are on repository.jboss.com have version names in the file name? Or should I rename it to "jboss-seam.zip"? - DML