I thought I had shared the original post but evidently not; here's the Hacker News discussion if you're interested.

Well there's been an update! Prepping for Transfer of 25,000 Manuals - HN post and it looks like good news! The manuals have found a temporary home and work will begin to start digitising and preserving them, we'll have to see how things progress from here and I'll try to remember to update everyone.

Edit: I tagged this as #digitalhistory but I'm not sure it entirely fits, does anyone want to suggest a better tag?