Re-removing the Hiddentac module. For some reason it had been reintroduced
by commit bf0185694.