Update download docs for changes in debian pkg availability.