krokiFilename

open fun krokiFilename(filename: String): String

Resolve filename in the Kroki output directory, reachable from this slide's page.