Wow, that's some serious stuff. Just imagine being the developer who goofed up like that! I hope the person responsible can rest easy now that F2Pool is saying they'll give refund if anyone claims it.
But what if no one actually asks for the money? It could mean a couple of things. Either someone made the mistake intentionally and doesn't want to draw attention to it, or maybe they're totally unaware of the blunder.