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.)