I'm super late to this, but I'm looking through the code, being inspired to figure out how it works, and one thing you mention is that synth.rs is a port of synth.py. Is the python code anywhere I would LOVE to get hold of it, rather than make a dirty port from scratch if possible.