Wonder what this means for vimeo/psalm, the static analyzer for PHP, which has recently seen some new life breathed into it after long neglect. Psalm has credible alternatives in PHPStan and now Mago, but it would still be a loss to see it go unmaintained again.