html.js: log the current page being loaded