I've received this today from Francisco, on my request about updates:
I don't know how I was supposed to know shipping resumed in any fashion, but, indeed, they do sometimes reply to mails.
Maybe October is consider recently, 'only' being three months ago, in the perspective of several years... 😇
I have not heard anything on that they should have been resumed shipping since, but certainly good news if it is the case. ☺️
(lineage-20.0-20240120-nightly-pro1-signed.zip on Jan 5 security patch installed smoothly (*) using adb sideload and MindTheGapps-13.0.0-arm64-20230808_213316)