RecodeX 重构消息，Progressive公司首席信息官Jonathan Bauer出售价值476,895美元的公司股票。