<kaucasus>
Hmmm, I'm playing around with the Aggregate Data Structure RFC, and I've got a few questions about it. Is it better to just ask them here or in the comments of the github issue? And if so, should I use the RFC for it (https://github.com/amaranth-lang/amaranth/issues/693) or in the discussion of the pull request? I'm new to contributing to Open Source projects, so I don't really know what the proper ettiquette for it is.
<whitequark>
ideally on the RFC thread
<kaucasus>
Awesome! I'll do that in a bit, since it's currently 2 AM and I really need to sleep