
Sept. 5, 2025
3:37 p.m.
Thank you for your quick answer. It might be good if you update the doc also with the info that $var_dir/mm/* is created automagically.
Kind regards, QNo