[135] Don't crash if invalid name is set in dev options
[136] Use case-insensitive compare when searching devices.json