Separate names with a comma.
So I press F1, sometimes even mash it in a vain hope that the help will pop up. It doesn't. I don't know if it actually works in the stable...
