Looks like @riemannian hasn't received any replies yet!