UseDocumentExtensions seems to work