CTAN package upgrade: HA-prosper