@abucci@anthony.buc.ci it’s called iOS… 🤔
I haven’t used it since version 10, so I don’t know if in current versions that has changed.