I'm used to using the F1-F12 keys to punch in frequent text segments like email, address, user name, etc on my old PC using Hotkeyz. Is there a similar tool for OSX? I didn't realize how used to having those I was until switching over full time. thx