2 ms·

Their GitHub profile page is showing activity in June and July (2023), so they're probably not dead. :)