Have tried the previously-suggested group-policy setting, without success; on the most recent update, Windows restarted itself anyway. This suggestion from SuperUser looks promising, however:

How...