reintroduced 'extra features' + only print message in verbose mode
reintroduced 'extra features' + only print message in verbose mode

MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle