Oh wow. That's a lot of information, very nice research. 
First of all thanks for the time yous spent and the effort.
Unfortunately my knowledge on the matter are limited but I am more than happy to start researching.
As I mention on the JtR issue, all the tests that I done with different accounts and passwords never gave me a cost lower than 56500. Later today I can try to look into axcrypt2john and the premium version of AxCrypt; cannot promise I will find many answers but I will definitely try.
Meanwhile I will throw the link of this discussion on both the issues!
About the last question, I am not sure about the size of the AxCrypt user-base nor of the people that would actually benefit of such an implementation; I guess whoever will need to code that Hashcat module need to decide if it is really worth it. If that implementation will happen, I will definitely give it a nice ride.
First of all thanks for the time yous spent and the effort.
Unfortunately my knowledge on the matter are limited but I am more than happy to start researching.
As I mention on the JtR issue, all the tests that I done with different accounts and passwords never gave me a cost lower than 56500. Later today I can try to look into axcrypt2john and the premium version of AxCrypt; cannot promise I will find many answers but I will definitely try.
Meanwhile I will throw the link of this discussion on both the issues!
About the last question, I am not sure about the size of the AxCrypt user-base nor of the people that would actually benefit of such an implementation; I guess whoever will need to code that Hashcat module need to decide if it is really worth it. If that implementation will happen, I will definitely give it a nice ride.