Unfortunately, the upshot of all of this is that the bots and vague flatterers are making me less appreciative than I should be of genuine, sincere, friendly comments which someone thoughtfully took the time to make! I now delete most variants of “nice lens,” unless there’s some clue i...