Apparently we are all now Galaxy Resources General Mining. We may as well be all in the one feed anyhow these days.