mgmenu is an efficient dynamic menu forked from dmenu