I dunno which one I do use...mine is local 0.1.0 whichever one that is.
I'll look for it.
Anyway, I got an idea how to go about this, now...one way or another.
EDIT: Yeah, I got it right.
Nice. Now power-off is an actual menu item.
<-----wonders if the old "re-boot" command, which she replaced...would have re-booted into native, or Dingux. If a re-boot into native, from Dingux...may re-add the re-boot command, so I have a choice to power-off or re-boot into native.
Be nice if there's a re-boot in native, as well...so that one could then choose to power-off...or boot into Dingux...from native.