On 01/11/2019 10.17, Yotam Dvir wrote: > Thanks! Where can I find more information about these command-line > options that don’t appear in the documentation (like -vtc)? In the source code. They are mainly intended to be used by developers. -- /NAD