Don't require the extension to be present when building docs.