Settings / Update says “connection not established” despite manual updates. Other problem seems to be solved.