Hi, Roland -
I thought the objection was that it wasn't properly specified/standardized yet. Which it now is IMHO.
It's not an interchange format, it's a gdb format.
I'm curious why you think that is a showstopper distinction. What harm would come from teaching eu-readelf how to pretty-print some "non-interchange" formats, if they are reasonably stable, don't require much eu-readelf uglification?
- FChE