edubuntu-menueditor • apt package info