Looks like @haggai hasn't received any replies!