Be aware that allowing everybody to continue following their preferences will result in the same proliferation that you see with text editors, email clients, and programming languages. Based on having only 4 different systems, I might predict that your company size is ~100-200 people (though that's a napkin estimate based on a single integer). There are at least 10 systems available, and certainly many more that are only accessible to technical people.