$ 0 0 The github support fixed it on the fly. Now it works. Man - they are fast. I will have a look into it.