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