On Wed, 2023-03-29 at 15:46 +0200, Cyril Brulebois wrote: > Closing as not a bug. If you want an actual bug to get fixed, please > file a specific bug report, describing what's not working correctly. Well you could call usage of a non-documented option a bug, but if improvement is apparently not desired, fine for me. Cheers, Chris.