When building documentation, don't depend on PyJWT