i doubt it matters since huffman already got his money.

i wonder if any moderators regret making him rich at the expense of their own time and effort.