I have received an answer from Laurent Arditi.
First, he took a quick look at HOL and found it quite exhaustive, so he sends his congratulations. And therefore I extend those to the core team, super-contributors and all contributors.
Regarding Skweek on iOS, it does exist and was indeed published in July 2012.
The licence was sold to Freshuu but apparently Freshuu renounced to market the game (it seems they are going out of business).
As a consequence the original authors and those who ported the game to iOS asked Apple to take the game out of the AppStore.
They are currently looking for a new publisher and pondering on publishing it themselves.
I pointed Laurent Arditi towards the Qwak and Battle Squadron as iOS ports which managed to be published successfully.
He offered to send a version of the game to whoever is interested. So I guess that means that whoever is interested will send me their email address via PM so I can forward them.
However, if you could wait one day or two before doing.
I am trying to lure him on the forums
If that happens it might be more simple to PM him directly.
Finally he confirmed that the original Skweek was the ST Skweek.