TheTeXnician

> Why do the files take a `.kts` extension? Because the Gradle Kotlin DSL is Kotlin Script which has the `.kts` extension. See also https://docs.gradle.org/current/userguide/kotlin_dsl.html#sec:scripts.

> I would recommend to add a gradle wrapper to enable a self-contained repository (only JDK will be needed then). > > Thereby, I would also propose to add a...

@koppor Thanks for your suggestion. I have added the Gradle wrapper and the wrapper validation workflow in the commits fd68d1b and bcca640. > Oh, wow, never saw Kotlin-based gradle build...

I have updated this branch to the current master (e8fd860). Probably it should be squashed when merging if it is going to be merged at some point. As there has...

It's only for a specific line of output. For simplicity, let's say I want to make an error message `error` stand out by making it look like a quote. Therefore,...

Well, yes, and that's great in most cases. But in this case my intention really is to wrap to a specific width. Hence, the question whether it would be possible...