No need to install Kotlin for the docs copy/publishing workflow

[LouisCAD]

Kotlin being now installed by default on GitHub Actions runners, we can save precious seconds installing it.