“Reddit is more productive now than before the COVID-19 pandemic, despite not having a mandatory return-to-office policy.”