CTAN submission: HA-prosper update