This was built initially by two PhD students in Germany if I remember correctly, they then spun it off into a company. Super impressive given how difficult typesetting is. And it's written in Rust as well!