Better URLs for bots now on github