I worked at a tech company in the early 2010s that had its own travel agency.