>never demanded the right to work at home.

You're not familiar with the several and many Telework acts passed by the federal government over the years? One of the most important factors for the ease with which a lot of agencies were able to go fully remote was years and years of regularly scheduled telework.