I added this a few months ago and Claude Doctor has not removed it. It must be working and getting use.