Piedro, in the bug description I specifically said that "Adding any options would not fix this bug, which is about menus being hidden *by default*". So no, this is not about adding options. (Which is why, incidentally, the purported "Desired change" is irrelevant to this bug.) The problem with Leonardo's comment isn't that he likes menus the way they are. The problem is that he made three empirical claims, none of them with any evidence, and all of them probably false; and that he suggested that people switch to another "DE", which is gratuitously unhelpful, because most Ubuntu users don't and needn't know what a "DE" is.
Piedro, in the bug description I specifically said that "Adding any options would not fix this bug, which is about menus being hidden *by default*". So no, this is not about adding options. (Which is why, incidentally, the purported "Desired change" is irrelevant to this bug.) The problem with Leonardo's comment isn't that he likes menus the way they are. The problem is that he made three empirical claims, none of them with any evidence, and all of them probably false; and that he suggested that people switch to another "DE", which is gratuitously unhelpful, because most Ubuntu users don't and needn't know what a "DE" is.
Editing bug comments is bug 80895.