Add explore-format.py, the tool I use to build a binary database of the
fingerprints.