OK, r.K. McSwain had a pretty good point in his comments about the CUI. The file name is actually civildesign.CUI, not civil.cui. I wasn’t thinking when I did that one.
Thanks for the heads-up, R.K.
I did about 12 more installs today, and exactly one of them had the mysterious 39k civildesign.cui file.
Enter your email address: