I'm not sure that we want to encourage the use of that exception in other projects, so much so that we want to prominently put it in the manual. If you just want to point at the exact wording, though, you can give them this URL:
http://git.savannah.gnu.org/cgit/bison.git/tree/src/parse-gram.h This is a file that Bison generated.
