We're in agreement — I was just trying to summarize why those recommendations are typically made.
I agree that consistency here would be an improvement. If deinits are called at the end of at @main only because the code happens to be inside of a function with a clear end-of-scope, then it's something to consider. As it stands, so much about top-level code is "magical" (and not necessarily for the better) in many ways that I know the project has wanted to address.