detail option: provide instruction id even when detail option is OFF
17 files changed