Does this mean that at some point the calculation of pi digits is halted because they construe a form of copyright infringement?