Mac Malone

@Kha > Why is that relevant? tests/ is not a Lake project, even running the full build from src/ in it does not help as it will not actually build...

@Kha What are you attempting to benchmark? Without the stage0 update, this PR has no practical effect.

With #4127, only jobs that do something significant now have a caption printed in non-terminal mode (e.g., the server), So this will hopefully be addressed in RC2.

Looking through the Mathlib/Std failures, there are some direct replications of `ppSignature` code in core which are producing errors now. To make fixing this easier, I extract this element into...