The archive has lots of information about graver preparation and maintenance, and there seems to be some differences in this regard between the purposes of stone setting and bright cutting compared to engraving.
There is a suggestion in the archives that beginners, who are manually sharpening and polishing gravers with stones, would find the preparation and maintenance easier if they use carbon steel gravers instead of HSS. And that an experienced user would prefer HSS gravers because they require less maintenance.
In terms of the experienced person using stones, I have a couple of questions about the maintenance of HSS gravers compared to carbon steel:
Would you use different stones with HSS than you would use with carbon steel, because of the hardness difference?
And even though carbon steel requires more frequent maintenance, is the time saved by using HSS consumed by it requiring more time to complete the maintenance, due to the hardness of HSS?