Is this necessary? I think we are cart before horse, debating SEO friendliness of how to find a commit id.
Agreed that we don't need to worry about this now. We can always think about what to do if suddenly there's indeed a miraculous rush of contributors looking to work on old providers.
ap
