James Lester comments on Data Taxation: A Proposal for Slowing Down AGI Progress