I’m the author of the original posts on https://oskarjwhansen.org and can confirm that the Star Map restoration project finished near the end of 2025. I’d been planning to get an announcement post up this week but saw the HN attention and wanted to put fears to rest.