A single stroke of a pen and there are no "critical workers" anymore

Yes, you're right. Thanks!

(I just edited my post, and also linked to a 2019 law that guarantees back-pay for both essential and non-essential federal workers.)