Should we be using a new term to describe shaving a dome vs dedomed?
Maybe shadome? 
I’ve completely dedomed many an LED but I’ve never had to shave one - of course I haven’t bought the new really expensive LEDs either.
I gather that in cases like the xhp the gain by completely dedoming vs shadoming must be pretty negligible considering the cost if you mess it up.