On Fri, Oct 10, 2014 at 08:05:20PM +0200, Christoph Anton Mitterer wrote: > While this is in now for a while and it's probably too late... > > Isn't DebianBanner somehow a confusing name? Especially since there is > the Banner directive? > > Maybe DebianReportExtraversion would have been better? I think it is indeed far too late to change this, sorry. -- Colin Watson [cjwatson@debian.org]