Warnings when compiling info pages

When compiling the documentation, the following warnings get printed:

```
user-manual.texi:15: warning: empty menu entry name in `* : idp8829109936.'
user-manual.texi:141: warning: @unnumbered missing argument
user-manual.texi:3202: warning: @ref cross-reference name should not contain `:'
```