Implement support for HTML5 'download' attribute: theme{'a', attributes = {download = 'file.zip'}}.