List of known bugs:
-------------------

Gnome and KDE have different menu systems and do not work nicely
with this approach.
