Refresh Debian install documentation.
(from redmine: issue id 3149, created on 2014-05-27, closed on 2014-09-01)