On Thu, 5 Jun 2014 15:41:30 +0200 Davide Mancusi wrote: > It would be really great if this functionality were documented in the > FAQ or the manual! Patches are welcome! ;-) -- Brian Morrison