[Shorewall-users] interfaces' optional OPTION not documented

[Brian J. M. <br...@in...>]

At least in shorewall 4.0.6, the "optional" interfaces OPTION does not
appear to be documented.

b.