debian/patches/series, debian/rules: Drop menu renaming as we do not carry
this change from Debian and it breaks existing users' menu configurations.