Indeed - I noticed that earlier. Suspect that something has happened during the migration to git. I'll look into it...

Thx