I tracked down exactly why the line height is messed up in the export, and made a fixer script in Python: https://gist.github.com/nimaid/b255a861361e2de6e0040e6db668b38c
Thank you for your contribution! ❤️
This is exactly why I'm advocating for open source.
