TODO: copy-past html5 file content