Yes this is a legitimate thread because it was created by Cartesi's own account. I don't know why ANN has 2 but I don't think this will be a problem.

Cartesi has a good developer so it's worth following.