Section names are leaking something

Sorry about the terrible description. This is what I see:

I suspect those user_profile(src/swipl-devel/...) bits are not meant to be there?

Seems something is going wrong getting the proper path abstraction in the new build process for the docs :frowning:

I’ve pushed a fix for this. As it appears to affect only a few pages the website will be updated with the next release.