Hi, I vaguely recall this "$HISTORY" variable being mention in a debate a while back. Something about it should be enabled or so on lintian.d.o. Checking lintian.d.o it appears to be off, so should I enable it? And should it be on by default in reporting/config? ~Niels