Extract specific XML elements from source files using Python and optionally format with xmllint. This skill should be used when users need to isolate a single XML element (like InstrumentVector with I
plugins/xml-element-extractor/skills/xml-element-extractor(main)