Kotlin stdlib has `Path.div(other: String): Path`: https://github.com/JetBrains/kotlin/blob/2.3.20/libraries/stdlib/jdk7/src/kotlin/io/path/PathUtils.kt#L974 It is trivial to add it: ```kotlin operator fun Path.div(relativePath: String): Path = Path(this, relativePath) ```
Kotlin stdlib has
Path.div(other: String): Path: https://github.com/JetBrains/kotlin/blob/2.3.20/libraries/stdlib/jdk7/src/kotlin/io/path/PathUtils.kt#L974It is trivial to add it: