At work I can choose between Edge and Chrome as my only two options. I use Edge, but there’s really no benefit for me to use one over the other. Technically I think I can request Firefox, but it’d have to go through VP-level approvals or something stupid like that.
Based on the “coming back from lunch,” I’d assume this person is on their work computer.