This is still not fixed and it's a major nuisance.

I've just discovered that the problem is not with the Ctrl+F1 shortcut per se, but with the Clusters tool. No matter what I set its shortcut to, the shortcut does not work. Also, if I use Ctrl+F1 for a different tool, the shortcut does work.