Yes, you are right the EOS address given still refers to the Ethereum block chain address for holding the ERC20 EOS token - well spotted. As you say, these EOS tokens have now been transferred to the EOS main net. To donate EOS now, a EOS public address is required,or otherwise they will be lost to the ether! I have previously posted it , but they do not seem to respond to comments.