summarize_stats: Link failure kinds to GitHub search #100257
Description
Feature or enhancement
The summarize_stats.py script shows each kind of specialization failures in English only, without referring to the actual piece of code in specialize.c that accounted for that failure. It should link to a GitHub search where the failure is counted.