Revert "HTML export -- Allow to change the name of the global DIV"