It was reported that the clang-tidy extension in VSCode can be really slow. We should see if there are settings we should tune with the devcontainer setup to fix that issue, or not enable it by default.