Unison doesn't warn me that "/" not allowed when naming a proile.

[Rob Frohne]

Hi All,
I get the following problem when I try to do an initial sync on this new installation of unison. I tried to name the profile "frohro-A475/home". After putting a space in for the / it works.

'Uncaught exception Sys_error("/home/frohro/.unison/frohro-A475.local/home.prf: No such file or directory")
Raised by primitive operation at Stdlib.open_out_gen in file "stdlib.ml", line 331, characters 29-55
Called from Uigtk2.Private.createProfile.saveProfile in file "/build/unison-2.52-gboYl0/unison-2.52-2.52.0/src/uigtk2.ml", line 1582, characters 8-79'

Thanks for nice software!
Rob

ProblemType: Bug
DistroRelease: Ubuntu 22.10
Package: unison 2.52+1
ProcVersionSignature: Ubuntu 5.19.0-26.27-generic 5.19.7
Uname: Linux 5.19.0-26-generic x86_64
ApportVersion: 2.23.1-0ubuntu3
Architecture: amd64
CasperMD5CheckResult: pass
CurrentDesktop: ubuntu:GNOME
Date: Wed Dec 21 13:32:46 2022
InstallationDate: Installed on 2022-12-09 (12 days ago)
InstallationMedia: Ubuntu 22.10 "Kinetic Kudu" - Release amd64 (20221020)
PackageArchitecture: all
ProcEnviron:
 TERM=xterm-256color
 PATH=(custom, no user)
 XDG_RUNTIME_DIR=<set>
 LANG=en_US.UTF-8
 SHELL=/bin/bash
SourcePackage: meta-unison
UpgradeStatus: No upgrade log present (probably fresh install)