To make it easier for new contributors, suggest extensions for the tools we use (cherry picked from commit 9ebd2f96adb19db7c7357336a37f7b989d21797d)