Our platform support page says:
CIAO is not supported using any Linux distribution running under the Windows Subsystem for Linux (WSL).
Our helpdesk user says:
My CIAO version is 4.16 and I'm running it on Ubuntu 22.04.4 on a Windows Linux Subsystem
Do people not know to check the documentation first?