Re #10137. Fixing python whitespace in Code/Tools tree