The Symbols list sorting is case sensitive. I don't think it should be.
The Symbols list is for developers to find their code and having two versions of a symbol that only differs by case right beside each other is a good idea.
I noticed this in a CSS file.
Otherwise, thanks for a nice compact IDE.