no-export problem resolved

Referring to the no-export community by its numeric value apparently
stopped having the desired effect some number of releases back, while
referring to it as "no-export" currently works (and is the means by
which the problem was resolved).

Stephen