JingOS, une distribution GNU/Linux volontairement inspirée d'iPadOS