Openbox hotkeys vs. VMware

Már egy ideje hurcoltam magammal a problémát, de ma sikeresen megszabadultam tőle.
A problémám az volt, hogy

Openbox Debian menüpont átnevezése

Adott: Ubuntu Linux Openbox ablakkezelővel.

Probléma: Az Ob menüben az alkalmazásokat rendszerező Debian menüpont címkéjét szeretnénk megváltoztatni. pl.: Debian-ról Ubuntu-ra.