<@U0B8ZP13Q>: well actually, I deleted everything ...

# kobalt

[eddie]

@cedric: well actually, I deleted everything and ran those steps and now both the generated Main.kt and Build.kt have red squiggles and complain about Kotlin not being configured