New Launcher repository missing 1.5.1 server

Hi,

All minecraft versions listed here have a corresponding server jar, e.g. here, with the sole exception of 1.5.1. Its url leads to a 403 (here).

It would be very useful to 3rd party developers if the 1.5.1 server jar could be uploaded to this location.