TXM 0.8.2, Windows, at first run TXM creates a directory C:\Users\<user>\TXM-0.8.2 even if user provides a custom path for RCP/TXM Workspace

TXM 0.8.2, Windows, at first run TXM creates a directory C:\Users\\TXM-0.8.2 even if user provides a custom path for RCP/TXM Workspace

(from redmine: issue id 3200, created on 2021/12/17 by Sebastien Jacquot)