Ignoring html_manual