The problem seems basically unfixable, and oh god, of course the reason involves unmaintained academic code written in OCaml. pic.twitter.com/aScg3zns1C — Matthew Green (@matthew_d_green) June 29, 2019 That's just how it works. You don't get special treatment because you're a nice, volunteer-run project with a legacy codebase from the 90s. If you're unable to fix your issues then these things will happen. — hanno (@hanno) July 1, 2019