Is "IRC" a common enough abbreviation of "Internal Revenue Code" to include?

[anseljh]

"Internal Revenue Code" is the name of Title 26 of the US Code. It's abbreviated "IRC" sometimes, but I'm not sure how often.

The IRS uses it:

https://www.irs.gov/tax-professionals/tax-code-regulations-and-official-guidance

[divergentdave]

It looks like "IRC" is listed in OLRC's popular name tool Just spitballing, but maybe we could add a "popular names" citation pseudo-type, and it could return U.S.C. and Pub. L.-typed citations as appropriate from the table.

[divergentdave]

LII's table of popular names is a bit more approachable https://www.law.cornell.edu/topn/0