Yes, I found that as well. I didn't need many hotkeys, so ignored it.

Tutorial-Changing F1-F12 hotkeys to different keys