Transferred to https://amazon-ion.github.io/ion-docs/news/ion-element-kotlin/2022/06/29/ion-element-kotlin-1_0_0-released.html