All `html_head_extra's are replaced with `html_head's since they have the same effect. LaTeX headers are now handled in a separate file for easier handling of the LaTeX code.
