HTML encoding, file extension.