those won't be in html.inc.php, but you can easily add those two lines to the common header insert.

matter of fact, it is done here smile