Bug#707851: Let's remove the Debian menu from the Debian Policy ?

[Julian Gilbey]

On Sat, Jan 11, 2014 at 11:46:10AM +0900, Charles Plessy wrote:
> Hello everybody,
> 
> I have read a lot of scepticism about the Debian menu in this thread, and no
> actual support for it.  Perhaps I was trying to be too consensual and proposed
> an over-complicated solution while it is clear that the FreeDesktop system is
> superior.
> 
> I attached a new patch, where the Debian menu is removed, and pasted below a
> text export of the 9.6 and 9.7 sections after application of the patch.

Thanks, Charles!

Could I humbly suggest that for a change as significant as this, it
would be worth asking for feedback on debian-devel and debian-user as
well?  It could be that there are users who will be significantly
affected by this but who don't read the -policy list.  Then again,
there may well be silence or approval from those lists too.

   Julian