Microsoft seems to think its October update is now worth inflicting on “advanced” users <https://arstechnica.com/gadgets/2018/12/windows-10-october-2018-update-now-available-for-just-about-everyone-who-wants-it/>. The more general populace will have to wait a bit longer. I wonder when we’ll see the November update ...