gedit-plugin-dashboard • apt package info