Yup, I'm one of about 6 people who work in my office that used to have around 100 in 2020. They all still work here, just from home. Great for me, especially with the reduced headcount. But many of my coworkers also like WFH, and I'd be first in line to threaten to leave if there was a return to office mandate.