coq10 depletion

Could not connect to the API.