> Here what is claimed is encoding for any betacoronavirus's spike protein.

Aha! That's what is surprising to me - I assumed that that would have been done previously / protected previously. That explains it.