bug#47287: 28.0.50; [PATCH] Add command project-remove-known-project

[Eli Zaretskii]

> From: Theodor Thornhill <theo@thornhill.no>
> Cc: dgutov@yandex.ru, 47287@debbugs.gnu.org
> Date: Tue, 23 Mar 2021 13:30:37 +0100
> 
> > Please be sure to say here that REPORT-MESSAGE is a format string
> > passed to 'message' as its first arg.
> >
> 
> Done. Fixed in attached patch

Thanks.

> +*** New command 'project-remove-known-project'.
> +This command lets you interactively remove an entry from the list of projects
> +in 'project-list-file'
> +

One last nit from me: since you now include the changes to the manual,
this NEWS entry should be marked by "+++" before it, per the note at
the beginning of NEWS.