Got notified that the weekly-updates have not run for a while.
Indeed, the last successful update happened on October 20th. Since then:
2019-10-20_07:00:24 Done with the update! 2019-10-27_00:00:39 Starting update. python: can't open file 'pages_processor.py': [Errno 2] No such file or directory 2019-10-27_00:00:45 Done with the update! 2019-11-03_00:00:35 Starting update. python: can't open file 'pages_processor.py': [Errno 2] No such file or directory 2019-11-03_00:00:35 Done with the update! 2019-11-10_00:00:28 Starting update. python: can't open file 'pages_processor.py': [Errno 2] No such file or directory 2019-11-10_00:00:29 Done with the update! 2019-11-17_00:00:47 Starting update. python: can't open file 'pages_processor.py': [Errno 2] No such file or directory 2019-11-17_00:00:47 Done with the update! 2019-11-24_00:00:33 Starting update. python: can't open file 'pages_processor.py': [Errno 2] No such file or directory 2019-11-24_00:00:33 Done with the update!
This is definitely linked to the major re-deploy of October 25th (which was somewhat expected to break things indeed) − likely 70b47b5cd011.