label-manager.pl - purely whitespace edit, use git diff -U0 -w labels/label-manager...