devtools

87f8016e - Fix some broken comment references. (#9037)