The first version of the extension that @arthuro555 developed worked fine on my computer, which is why my current workaround is to manually edit my install of Gdevelop so that I have all the new components of the last beta, but I keep the original UserHomePath function.
@Gruk@Bouh
I’ve just tried replacing "User's Home folder" with 'User\'s Home folder' but it doesn’t work either. I think I’ll stay with the original code which works just well.