Code style/formatting

Stream: lean4

[Tom]

All the examples and library code that I've seen use a very specific code style. As a VSCode user, is there a way I can autoformat my code to follow the same style (similar to clang-format/black/etc for other languages)? I've not been able to find anything in the Lean 4 extension or any relevant posts on this forum.
Thanks!

[Henrik Böving]

We don't have auto formatting yet, there are plans to get there but nothing working right now.