Re: [PATCH] docs: be more specific about when <ip> can be used in <interface>