[AUTO] Format files using DocumentFormat

[github-actions[bot]]

DocumentFormat.jl would suggest these formatting changes

[ZacLN]

Well that's embarrassing

[davidanthoff]

I'm realizing a problem here: we require the CI tests for merging, but these bots don't trigger CI... That is not great, because it would of course be good to have CI run on a PR like this one here, especially with the changes to the test code... Not sure what to do about this?

[ZacLN]

format won't apply changes where the AST is altered so we should be OK?

[davidanthoff]

True, so we maybe we just use admin override to merge.