comment about alternative langlist file URL

langlist was unavailable for some days. It's back, but if it goes away again, we may use a copy in git.