Aleksey Cheusov wrote: > Another question is why I should manually add these @dirrm commands > and why they are not generated automatically. Another question is why they are necessary at all. I've already added a task to Joerg's TODO list to make them unnecessary (PR 37087). Roland