Neos Instances with bad names
I found an instance
/OPTI/bzfhende/miplib2017/revised-submissions/Jeff_Linderoth2/instances/slave-4333641.mps.gz
and think this should be renamed.
Also questionable:
- 'devil' might scare away the bible belt
- 'amazon' is easily confused with a certain start up from Seattle