Thanks for the bug reports. Just FYI, the better location to open bug reports is on github, but it’s not mandatory if you don’t want to make an account, I can work with the ones here as well:
I’ll follow up on the ones reported here. Cheers!
