I installed these GitHub tools out of curiosity, and they eventually became permanent parts of my workflow.