- C/C++
- C#
- Go
- Java
- JavaScript/TypeScript
- Python
https://docs.github.com/en/free-pro-team@latest/github/findi... - C/C++
- C#
- Go
- Java
- JavaScript/TypeScript
- Python
https://docs.github.com/en/free-pro-team@latest/github/findi...> A lede is the introductory section in journalism and thus to bury the lede refers to hiding the most important and relevant pieces of a story within other distracting information. The spelling of lede is allegedly so as to not confuse it with lead (/led/) which referred to the strip of metal that would separate lines of type. Both spellings, however, can be found in instances of the phrase.
[1] https://www.merriam-webster.com/words-at-play/bury-the-lede-...
Lede is just lead spelled incorrectly with the same meaning.
https://books.google.com/ngrams/graph?year_end=2019&year_sta...
They stated in the comments here that they are actively working on it, and I would personally appreciate it in addition to the number of other static analysis tools I use.