Well, regardless of what the cause is I added a line in the code so now F5 works as well. Hopefully whatever the problem is that'll be sufficient for fixing it whenever the next patch releases.
oh, I see. yeah, really not sure what's going on, but the next update (whenever that actually releases) should make F5 another option, which should *hopefully* fix it. but also I made some changes to how it detects F9 (it used text and only checked lowercase "f9" and not "F9" so I wonder if that was the problem), so F9 itself could work in the next version for you too? we'll see I guess, hopefully one of those two fixes works for you either way once it's out! sorry about the inconvenience in the mean time.