https://tutorial-idris.blogspot.com/2019/04/install-tools-hidangan-power-menu-di.html