change to the summarized format: make sure to dump options in order, and include options that were never chosen.