I needed to fix a library-level theme item. And since it's been a while since I last made a change like that (this was all before the original switch to the production Drupal instance), I couldn't remember if it involved uninstalling/reinstalling the theme...or simply clearing the cache.
So I chose the heavy-handed option. What could possibly go wrong, right?
I'm certainly glad I don't have a lot of super-customized stuff (other than some titles and custom block layout stuff to place), because I had to do it all over again.