Looks like my development box (which is in another city) is powered off right now and the man who could push the button is going on holidays. Next week I will be absent, too, so I will manage to be even less active than usual during the next two weeks (at least). Well, it’s summer, so maybe that would be a good idea anyway.