There's a page about using Thonny:
https://color.thumby.us/pages/getting-started-with-thonny/getting-started-with-thonny/

It took me some time to find (I found this forum post before I found that), so I definitely commiserate.

There's also a Discord link in TinyCircuits' Contact Us page.