I need to download the rustc-dev component quite a lot for Miri development, and noticed that it recently became a lot bigger. For b1ab3b738ac718da74cd4aa0bb7f362d0adbdf84, it was 125MB in size. Now, at 85d089b41e2a0c0f07ab34f6c5a7c451389f25e6, it is 205MB in size. Is that an expected regression? Is there a way to avoid this almost doubling of the size?