that menu information for applications should not be duplicated in
two different formats.
- To encouage this change, we make menu files optional, ask that
+ To encourage this change, we make menu files optional, ask that
packages include .desktop files as appropriate and prohibit
packages from providing both menu and .desktop files for the same
application.