Use github permalink (using sha)

More permalink changes