Commit 2025-08-24 10:30 832a2bc1

style(AkraBazzi): use more standard indentation (#27875) Also do some minor golfing, such as removing superfluous by exact or using filter_upwards slightly more.