I finally decided he's a troll and put him on ignore.
I never used to put anybody on ignore, but in the past year or so have probably done it half-a-dozen times. I found it's a very easy way to tell if a thread is worth reading: If ***You are ignoring this user*** pops up frequently I know it's not!
