Question for the people who have used the CH32V003 or more generally WCH, either for hobby or production, what is the current state of documentation and toolchain for these chips? Positive experiences, war stories?