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

@bzfgamra , @bzfgleix, would you agree?