On Fri, 7 Dec 2012, Brian Potkin wrote:
A minimal patch to the Guide is at http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=695403
Thanks Brian, this looks very helpful.