[Commits] [Einstein Toolkit] #45: Disallow identical keys in same ini file