On that last point, Strulovich points to compile times after the HTTP client project, OkHttp, switched from Java to Kotlin in 2019. OkHttp is small, with only 24,000 lines of Kotlin.