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

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.