Removed reference to @EXPORT_TAGS_OK.

I'm unsure what the semantics of that is, since if something is given
an export tag, then it should be ok to export it.