announce@ and bugs@ are also sub-groups of devel@ and I don't think emails sent to those have been getting reflected to devel@ ?
Yes, this is correct. I had to pick a group to be the "parent group". I chose devel as it seemed like as good a choice as any. It also saves us from having a "main" group, which is confusing.
Also, for those interested, I am in the process of moving bugs over to groups.io soon. More on that shortly.
