The files of its newest release, on GitHub.
Have a copy of PaulAddonsKotlin? Check that it is the official one.
Drop it here. We compare its fingerprint with the official PaulAddonsKotlin files. If we do not know the file, we upload it for a deep check.