Issue #23: update index.html page title