Girlfriend hasn't been paying her student loans during the payment pause. Should she?

I haven't read too deeply into the nature or caveats of the student load payment pause, so this is more of a request for information post.

Before the pandemic, my girlfriend had ~13k in student loans. She mentioned that she has not been paying them down at all while the pause has been in effect.

Regardless of what the Supreme Court decides on the $10,000 forgiveness proposal, should she be making payments now while payments and interest are paused?

She has been saving money to the side and banking her 401k harder as a result, but what should her strategy look like in anticipation of payments resuming this summer? Is it better to pay a chunk of it down now or continue to save and make that big payment when payments begin again?

Update: Thanks for the tips. Wait and save. Will do.