Crafty in ports is still at version 19.1, but the source is already up to 19.9 with significant enhancements. What would it take to get the port upgraded to version 19.9? Thanks in advance, Tom Veldhouse