Looks like he knew & gave CR a sarcastic reply. Either way, probably best to not use twitter handles to report releases