Some time ago (probably on Tue, 16 Nov 2004 20:55:05 +0100) Olivier Fourdan <fourdan at xfce.org> had occasion to say the following: > That one is in the documentation. Sorry about that, Olivier. I guess the default option just changed recently? Or maybe I'm just crazy. Thanks for the clarification, Andrew