Document Lenovo OneKey Recovery and other such buttons
The OneKey Recovery of Lenovo is the new way of getting to the Boot Menu. It's has to be pressed before powering on the laptop and the F12 key doesn't work anymore. So our Boot Menu application wouldn't work.
We should check which other laptop vendors have a similar feature and update our doc.
Now that we document Shift+Restart from Windows, the Boot Menu key is only mentioned for troubleshooting and Linux users, so it's not high priority: