After reading https://launchpad.net/startup-manager/+announcement/8300 should we consider to remove this package from debian? (maybe in favour of grub-customizer as the upstream author suggests?)