I greatly narrowed this list to the big ones. I think some (like Unix) just are incorrect (sure Heroku uses AWS which runs servers with Unix-based operating systems, but we don't use it ourself.)