| 14:58 | <Tim van der Lippe> | Since GitHub is part of Microsoft nowadays, can Microsoft folks get https://github.com/orgs/community/discussions/192705 to their attention? |
| 18:18 | <Leo Lee> | I'll see what I can do. |
| 20:48 | <TabAtkins> | Can unblock by switching to semantic linebreaks to get reasonable line lengths, but that means we can't reformat completely automatedly. |
| 20:49 | <TabAtkins> | (I've been meaning for a few years to explore using a small line-breaking model to automate that; someone did this work themselves a while ago and I've never had the time to properly evaluate using it on specs.) |