Links in HTML-sections build in develop use "pdf" as file extension. Probably an aftermath of the whole `compoundFilter.kt` business