You are correct that it is not the same as silent GRUB I think changing the menu to hidden was unintended But if /etc/default/grub was updated with the unintended change, it would also have the intended change to add the os-prober option