I'm releasing odol2mlod which recreates editable version of binarized models. Conversion algorithm was done by Miki and I've added extra options and tested it.