A couple of weeks before the holidays, the Options Price Reporting Authority, the public market datafeed for US options, announced a plan to change how it distributes data. While still a proposal, ...