Amusingly, I found a 16-year old comment asking for jargon integration. Dropping it here just to document that people want this, so that people don’t say “Who wants this?” without an answer.
Amusingly, I found a 16-year old comment asking for jargon integration. Dropping it here just to document that people want this, so that people don’t say “Who wants this?” without an answer.