Hugo Penedones wrote: > I was looking at debian documentation in your website and came across a > link to an external webpage, that is probably not what you meant: This has already been fixed in later versions of the document. Cheers, FJP