Give at least one real life Remote Mailboxes example

At the bottom of (info "(mailutils) Remote Mailboxes")
please add an example:

Here are examples of how one can use remote mailboxes

$ mail.mailutils --file imaps://ralph%40example.org:[email protected]
$ mail.mailutils --headers --file imaps://ralph%40example.org:[email protected]/INBOX.Spam

One notes:

We use the --file option.
@ encoded in username as %40.
No trailing / in URI.