Restart into firmware settings directly from OS Hold Shift and click the power menu button to trigger restart into firmware settings. Any suggestion is appreciated on GitHub!
Note: Binary files aren't shown on the web site. To see all files, please download the extension zipfile.