At this time, directly exporting banners as HTML5 is not possible.
A possible workaround is to extract the information needed to create HTML out of scenes using our API. You can get the position and properties of all elements and also export processed images individually.