Intermittent connection failure

Intermittently premise selection fails with error

```
Could not send API request to http://leanpremise.net/max-new-premises.
```

See [#general > LeanHammer @ 💬](https://leanprover.zulipchat.com/#narrow/channel/113488-general/topic/LeanHammer/near/524365977).