header.html is no longer used.