Debian menu in GNOME

One idle afternoon I have looked at GNOME, which I haven’t used for a while. Debian menu was missing. Took me a while, but solution is found:

$ apt-get install menu-xdg

$ dpkg-reconfigure menu

$ dpkg-reconfigure menu-xdg

Then System/Preferences/Main Menu and select Debian menu.

Life is suddenly easier, ain’t it?