OH regarding a company merger: "Oh no, the windows domain doesn't need to change. The team's been through 3–4 mergers before and at some point they decided to just call it 'it.local', nothing to do with the company name."