cross-posted from: https://lemm.ee/post/14387314

Absolutely zero hope for this since the original creators left, but oh well, here’s a teaser.