CTAN submission -- HA-prosper update