A senior employee wrote on Twitter that the extra holiday was to deal with “collective burnout”.