Various bash scripts for reducing mouse-use.