Ask HN: What tools did your employer buy for remote work during the pandemic?