Does anyone else see this more likely to be “mere” reductions in staff due to a presumed decline in business due to the global pandemic, rather than some nefarious plot to gut Red Hat?