Paxos Reportedly Downsizes Workforce by 20%: Details