TIL how to save a file on VSCode without auto formatting being applied: CMD + K S.
This can be useful in situations where one is working in a repository and is not interested in having a big file auto formatted, just for the sake of a trivial change.