I wonder why the sync was needed. I cannot find any info in the git logs. It seems to be there for a long time. IMO this should be removed, if noone can argue why it is needed. -- regards Thomas