I'd say, don't tell HR anything, and only tell your manager if you have a great relationship with them, and tell them only that you're _thinking_ about leaving

I'd say, don't tell HR anything, and only tell your manager if you have a great relationship with them, and tell them only that you're _thinking_ about leaving so they have plausible deniability.