Libdoc HTML outputs nowadays always contain "Importing" header, but it should be shown only if the library accepts parameters. This was broken in RF 7.2, most likely due to #4304. Do you @yanne have time to look at this?