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

[Dmitry Gutov]

Hi Basil,

On 25.03.2021 02:03, Basil L. Contovounesios wrote:
> But Texinfo still had some comments on the patch;).
>
>    ./maintaining.texi:1821: warning: node `Managing project list file' is
>    next for `Switching Projects' in sectioning but not in menu
>    ./maintaining.texi:1846: warning: node `Switching Projects' is prev
>    for `Managing project list file' in sectioning but not in menu
>    ./maintaining.texi:1846: warning: node `Projects' is up for `Managing
>    project list file' in sectioning but not in menu
>    ./maintaining.texi:1641: node `Projects' lacks menu item for `Managing
>    project list file' despite being its Up target
>
> Could you please add a menu entry for the new node?

If you know how to fix any of that, help welcome.