@abcdw Git diff would be so much better if it compared trees, not source code.