tutorial: make the copyright notice disappear in the HTML

IMHO it is not useful there.