@Sylvestre: Ah, ok. I just thought that was not intentional and happened by e.g. upstream renamed directories. I don't think that's a reason to worry about.
@Sylvestre: Ah, ok. I just thought that was not intentional and happened by e.g. upstream renamed directories. I don't think that's a reason to worry about.