Many thanks for all the responses. I plan to ease out of my personal Frankendebian by just reinstalling. And I vow to be more careful about copy-and-pasting stuff from websites into my system files! -Paul