Comment by AJRF

An aside: Anyone else finding themselves adding site:github.com rather than site:stackoverflow.com to their Google searches more now?