Use magic "github" source, fix doc url