gitnexus-plus0 ★@MoowningstarDSH plugin: report what a GitNexus index left out — skipped large files, index coverage, and git activity crossed with the index.NewCoding