29 Jan 2019, 15:26

@the_mole hi and thanks! I‘d recommend you to write a wiki entry for this, as it might be very useful and easier to find.