Now that you mention it, @Kbus007, I remember seeing that thread. I was intrigued by the possibility of putting prebuilt binaries on GitHub, but unclear on the details (e.g., “I would not put them in git”, but they can still be on GH?) and haven’t had time to follow up.
In my case, though:
Same toolchain configuration in both cases. I haven’t tried Clean and Rebuild-ing a second time, but I’m guessing that method, like the devtools-based method, would also be “as fast as before” now that I’ve cleared out the problem – whatever it was. I’m not sure what Clean and Rebuild does that’s different from manually emptying the /src directory (which didn’t work, as noted in the OP), but evidently it did the trick…eventually.