Extension SDK for the HTML5 export module