Looks like @nicolov hasn't received any replies!