> I thought that it might be a rare chance to invoke the NFL theorem appropriately, but I guess I was wrong

Haha, I wouldn’t feel bad. It’s one of the most misunderstood theorems, and I don’t think I’ve ever seen it invoked correctly on a message board.