@helene whether a project is "dead" or not is kinda like Schrodinger's box, it's only dead if people stop working on it or if no one is around to merge things