H802 redistribute-directive is REDISTRIBUTE distributee dist-directive-stuff or REDISTRIBUTE dist-attribute-stuff :: distributee-list