web/olddownload: add 0.9.3