I’ve found the Java IDX file parser by @bbaskin to be a good resource that is publicly available. https://github.com/Rurik/Java_IDX_Parser/blob/master/idx_parser.py

@williballenthin