I'd like to bring the following tweet (thread) from Matt to your attention:
https://x.com/mattoflambda/status/1815536812376707224 

It concerns pull request: Allow reserved identifiers as fields in `OverloadedRecordDot` by parsonsmatt · Pull Request #668 · ghc-proposals/ghc-proposals (github.com).

We do not seem to be as welcoming as we could/should be?

My stance in general around this is probably a bit old fashioned, and

what I learned on IRC back then: not to fuel and engage with negative

behavior.

I'm curious what the other committee members think about this.

Best,

 Moritz