Let the title for --dumpOptions be "Modified JSC runtime options:" since it only dumps overridden options. The title for --options will remain "All JSC runtime options:" since it dumps all all options with verbose detail.
Created attachment 277397 [details] proposed patch.
Comment on attachment 277397 [details] proposed patch. Clearing flags on attachment: 277397 Committed r200101: <http://trac.webkit.org/changeset/200101>
All reviewed patches have been landed. Closing bug.