I noticed it when I was looking at the change to allow the build root to be a source root. I’ll just file an issue for now.