That’s interesting! I’ll need to test and see what’s happening. 
The editor search could definitely use some improvements. Right now, our plate is pretty full, but search is a key feature, so it’s important.
Let us wrap up the new encryption work first, and then we’ll look into enhancing this.