Pierre Neidhardt skribis: > Alternately, we could simply move the patch from > user-source-registry-directory to system-source-registry-directory; same > for the output translation. What do you think of the attached patch? Does it work for you?