source-copyright-pipe-as-or (source): space-in-std-shortname-in-dep5-copyright this | that (paragraph at line 15)
source-copyright-pipe-as-or (source): pipe-symbol-used-as-license-disjunction this | that (paragraph at line 6)
source-copyright-pipe-as-or (source): pipe-symbol-used-as-license-disjunction this | that (paragraph at line 15)
