I link to trivial.html.