Bug#864035: deb.debian.org should be used throughout

[Adrian Bunk]

Package: release-notes
Severity: normal

"4.3.1. Adding APT Internet sources" is using mirrors
instead of deb.debian.org which should be used by default
(see section 2.2.5.).