On 12/23/22 02:26, Michael Albinus wrote:
> Do you want to simplify
> make-directory accordingly?

Sure, I installed the attached.