diff --git a/.gitignore b/.gitignore
index 5bff016..4bfef3c 100644
--- a/.gitignore
+++ b/.gitignore
@@ -1,3 +1,9 @@
-/build
-/lake-packages/*
-lakefile.olean
+# macOS leaves these files everywhere:
+.DS_Store
+# Prior to v4.3.0-rc2 lake stored files in these locations.
+# We'll leave them in the `.gitignore` for a while for users switching between toolchains.
+/build/
+/lake-packages/
+/lakefile.olean
+# After v4.3.0-rc2 lake stores its files here:
+/.lake/
diff --git a/lean-toolchain b/lean-toolchain
index e856017..5cadc9d 100644
--- a/lean-toolchain
+++ b/lean-toolchain
@@ -1 +1 @@
-leanprover/lean4:v4.3.0-rc1
+leanprover/lean4:v4.3.0