In the meantime, you can use this Python script I wrote to manually make exported fonts larger, like you’re expecting: https://gist.github.com/nimaid/b255a861361e2de6e0040e6db668b38c
In the meantime, you can use this Python script I wrote to manually make exported fonts larger, like you’re expecting: https://gist.github.com/nimaid/b255a861361e2de6e0040e6db668b38c