Thanks, then we know that the issue is not specific to the contents of $HOME. Hopefully some experienced developer (i.e. not me) will take on this bug soon.
Thanks, then we know that the issue is not specific to the contents of $HOME. Hopefully some experienced developer (i.e. not me) will take on this bug soon.