This fork of Lean 4 provides the following modifications on top of the upstream releases/v4.32.0 branch:

• Minimize and adapt CI to my (very manual) workflow
• Rebase Robin Arnez's parser tracing PR lean4#13792 and update stage0
• Add FlattenBehavior to MessageData.group, just as Format.group has