Larks comments on Should Twitter have prediction markets in Community Notes?