XWIKI-4616: HTML export does not support skin extensions