Open file->preference report error

Development
4

I encountered this same problem. Capitalizing the names of the files fixed the problem. Given that his has happened at least twice, should an issue be submitted on GitHub?

Edit:

See also this issue