Looks like @labda hasn't received any replies!