Well I said "maybe".
These are nice balances on that addresses. But how do I know that these are Bitfinex's addresses? If they are, I am somewhat comforted.