ParentFull threadTedTed·Yeah, thanks, I messed up the upload to arXiv >< It'll be fixed tonight with the updated version.View on HN