How did jgmenu get installed? I have it listed in the devuan repository, but it's not installed. -- Never start a jigsaw puzzle in a room full of people with nothing better to do!