Comment 2 for bug 1527664

It may be "expected" behaviour (for who ? because I really didn't expect that), it's still very confusing.

You should at least warn the user that editing /etc/default/grub (which is the expected and documented way to alter grub configuration) is useless.