4. If you just disable a feature, no-one is likely to find out why it is disabled (you could put something in the tooltip, but they might not look at it). The current approach is better, if a little annoying.