Using $displayDocExtra false hides tags and document footer information (creator and creation date)

There is a discrepancy between the 2 ways of hiding the docextra tabs/section after the document content.

When using #set ($docextra = []), only the tabs are hidden, but when using #set ($displayDocExtra = false) the tags and document footer information is also hidden (because the entire docextra.vm) template is not applied.

Because using $displayDocExtra should be recommended and because we have been (wrongfully) recommending $docextra for a while now, it would be more expected for using $displayDocExtra to have the same effect as $docextra, i.e. to hide only the tabs.