Kudos to Anthropic for choosing the higher bounty and donating it to ISRG, that is a very nice gesture.