Good morning Dust team.
To report issues, is it ok to open issues directly on GitHub, or do you prefer all the communication to be here? I opened a couple GitHub issues on https://github.com/dust-tt/dust/issues, as it feels more trackable than a slack comment. 😀
Also, for the docs, https://docs.dust.tt/docs/ supports suggesting edits, which is great (I corrected a few typos last week). But for some reason, https://docs.dust.tt/reference/ does not offer the same capability, even though it's based on the same doc system. Any reason for this? Maybe it just needs to be enabled? Thanks!