No matches were found for subject:"Bug#752608\: please mention \-\-debug option on grub\-install man page"