I'd much rather use those tools at my own discretion than have them clutter an area of the site where I expect to see feedback from my human users. It would al

I'd much rather use those tools at my own discretion than have them clutter an area of the site where I expect to see feedback from my human users. It would also make GitHub a much more intimidating place to submit code. I don't want those things for my smaller projects.