Corrected dax to hf conversion; added a script for doing this from command
line.