I never got a response from the double-checker via PM or e-mail, so I have posted the news so that it is not too out of date. If anyone has contact with the double-checker, I will be glad to update the news post and official announcement with their preferred name if they wish.
Congratulations to Marshall! It is a very nice find and knocks off the old world record found by yours truly almost two years ago.
Now, let's see if we can find another one!