It's OK, we still have picaridin

Picaridin is the better choice as well. DEET is gross stuff that ruins many materials used for outdoor clothes and gear

I read the paper - if they can train them to like deet this way, picaridin will be child’s play.

DEET should ruin things less if you stick to 35-40%. There is practically no benefit in going higher anyway. Those using 100% are asking for damage.

Picaridin gives me worsened tinnitus, so I can't use it unless maybe I slowly try to condition myself to it over a week. DEET doesn't.