As someone who's been trading Globex pretty consistently the past 6 months my first impulse is to tell you that it's slower, easier to handle, and...
It’s done by a bot. Just check to see which ones are in the server and go down the line.
Separate names with a comma.