OK, the new download is up-to-date. However, it's still showing "Out of sync" in red. I think it needs to find one new block while online to completely sync, which seems to be a programming error. Especially since the last block was 3 hours ago ...