So, I would open a bug report. The issue affects three users all on debian stretch. Do you think it would be better to report it to debian, that will in case send it upstream, or rather directly to kde? Thanks, Davide