On 4 May 2023, at 14:27, Edward Catmur <ecatmur@googlemail.com> wrote:Deprecate ** in one cycle, make it an operator token in the next. Like we did for [,].