I don't think you're being petty at all, I think you're absolutely right. It's very important for us to be clear and reasonably precise when we describe the materials and processes we use. Terms like "carbon-" or "stainless-" or "tool-" steel aren't interchangeable and generally not terribly useful. We're fortunate these days that the folks who buy our work are becoming more and more knowledgeable about the subtleties and differences, and I hope that continues.
If it wasn't for people who want to the very best for their uses, and makers who are nit-picky about it, why would anyone bother with a handmade/custom knife at all?