@PegasusWithoutWinds Please don’t at-mention extremely busy folks like Chris Lattner unless you really think that individual would find your notification very helpful to them at that time.
It’s great that we have folks here on the forum kindly getting involved and helping develop this community, but if we’re not thoughtful about how we engage with them, they’ll be turning off their notifications or deleting their account.
Edit: Chris says we can at-mention him after all! 