RESOLVED. Hmm. Of course, one of the first things I had tried was the old standby of deleting the vlcrc file *within* ~/.vlc; that didn't work, but removing the entire directory (and letting vlc reconstitute it at startup) did work, instantly. Changed a few settings in the Preferences, and I'm now g...