Remove spurious "TODO UPDATE ALL THIS" note in the Debian installation docs.