Fix documentation references to the old repository