1. They are already case-insensitive, just like labels. (if there is a counterexample, I'm ready to see)
2. you can scroll faster using ctrl+up/down, although not to the entire page. I'll think about adding pgup/pgdown, but there may be problems with it due to the fact that different terminals can remap key codes differently.
3. ok, I'll add this too when I have free time