Added redirection to HTML doc.