>Most people use real names on Github, or freely discuss their locality on Reddit...

Maybe most, but not all. It isn't an issue for everyone, but that doesn't mean it isn't an issue at all.

>Seriously, if you can design a honeypot that can convince programmers to log in with SSH, maybe you should just launch a Start-up.

There is a big difference between a site that sparks intellectual curiosity and a site that inspires someone to actually pay money.