Copatterns issue (literate Agda and HTML).