I haven’t handled a Spyderco Cricket, but from pictures, I gotta say, that tip looks like it would be easy to remove. I’d try a fine stone first (or you might even cover a fine stone with a piece of tape), mark the edge with a Sharpie, and see how it contacts the area around the tip. Probably can be done with regular stones, but you need to see how it contacts the blade in that area. (Again, just looking at pictures). You might need to adjust how the knife is clamped to better accommodate it.
One thing that is well worth doing with all stones including diamond plates is to bevel off the edges of the stones ; to bevel the stones use a lapping stone at around 45Ëšto remove all the corners the same can be done with a bastard file to the diamond plates . This allows the stones / plates to track around the blade curvatures more easily . It is common practice on bench stones & should also be done on Atoma plates.
Hadn’t really thought about this…. it could prevent a stone from digging into the metal, but so can technique. Light pressure, let the stone follow the edge, etc. should do the trick. But, something to consider,,, some diamond stone edges are pretty sharp, and this could be helpful.