At Sun, 09 Sep 2012 19:27:02 +0200, David Maus wrote: > Thanks. Applied and pushed to wanderlust/wanderlust. Thanks to both! I'll try soon. -- Francesco * Often in error, never in doubt