#3108: Remove it from repo. We'll reference it directly from github.