Excellent! All working, including Run-Once Program on Android. As an aside on gettext, remember from our recent bug diagnosis, that WAMP has the gettext extension disabled by default and it is a simple matter to enable it in the PHP extension list.
Thanks again for such quick response in tracking down and fixing the issues. Keep up the good work!