Hot!
Your Link:
https%3A%2F%2Fblog.jetbrains.com%2Fja%2Fkotlin%2F2023%2F05%2Fthe-kotlin-mascot-returns%2F