That is strange, never heard of those and google d...

# getting-started

[karelpeeters]

That is strange, never heard of those and google doesn't help either. Maybe file an issue here asking for clarification/removal: https://github.com/JetBrains/kotlin-web-site#filing-bugs