For now they are in the code: <https://github.com/...

# eap

[abreslav]

For now they are in the code: https://github.com/JetBrains/kotlin/blob/f4613b8db15cfd93af30071b5093cf35d011c377/core/descriptor.loader.java/src/org/jetbrains/kotlin/load/java/JvmAnnotationNames.kt

So, PRs welcome.

We’ll probably have user-configurable files for them, but later.